Changes between Version 19 and Version 20 of Past/2012


Ignore:
Timestamp:
Oct 29, 2012, 1:08:36 AM (11 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2012

    v19 v20  
    44* Eric Willigers: Red-Black trees in Idris
    55* Tim Docker: Haskell coding interactively with Hint
    6 * Ben Lippmeier: Ott: Effective Tool Support for the Working Semanticis
     6* Ben Lippmeier: Ott: Effective Tool Support for the Working Semanticist
    77
    88=== 48: 20th September ===