Changes between Version 187 and Version 188 of WikiStart


Ignore:
Timestamp:
Oct 26, 2014, 5:28:05 AM (10 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v187 v188  
    2828* [http://fp-syd.ouroborus.net/report/11 Talk Offers]
    2929
    30 
    31 === 22nd October 2014 ===
    32  * Max Swadling: !FilePaths, C++ and Web.Cloud: 3 every day problems with elegant solutions.
    33  * Liam O'Connor: Keeping the Neighbours in Order (Agda and dependent types).
    34 
    3530=== 26th November 2014 ===
    3631 * Tim !McGilchrist.