Changes between Version 7 and Version 8 of Past/2013


Ignore:
Timestamp:
May 21, 2013, 2:29:12 AM (11 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2013

    v7 v8  
    1111 * Liam O'Connor-Davis: Type Theory is Proof Theory
    1212
    13 === 51: 27th February ===
     13== 51: 27th February ==
    1414 * [http://code.ouroborus.net/fp-syd/past/2013/2013-02-Lippmeier-Beluga.pdf Ben Lippmeier, The Beluga Language]
    1515 * Dhanji Prasanna, The Loop Language
    1616 * Boey Maun Suang, The J Language
    1717
    18 === --: January (no meeting) ===
     18== --: January (no meeting) ==