Changes between Version 15 and Version 16 of Past/2017


Ignore:
Timestamp:
Nov 16, 2017, 5:55:45 AM (4 weeks ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Past/2017

    v15 v16  
    5656* Tom Sewell: Monads for replaying proofs in Isabelle
    5757
     58=== 99: 25th October ===
     59
     60* Ivan Miljenovic - I Streamed a Stream
     61* Clinton Mead - Everything’s a functor. Everything is good when you’re a category.
    5862
    5963