Changes between Version 13 and Version 14 of Past/2017


Ignore:
Timestamp:
Oct 5, 2017, 3:09:33 AM (7 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2017

    v13 v14  
    5151* Sharif Olorin: Field guide to writing and using cryptosystems in Haskell
    5252
     53=== 98: 27th September ===
     54
     55* Thomas Sutton: Tree edit distance
     56* Tom Sewell: Monads for replaying proofs in Isabelle
    5357
    5458