Changes between Initial Version and Version 1 of Past/2012


Ignore:
Timestamp:
Feb 17, 2012, 9:47:54 AM (13 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2012

    v1 v1  
     1= Past Meetings, 2012 =
     2
     3=== 41: 16th February ===
     4 * Ben Sinclair, A certified adder in Agda
     5 * Erik de Castro Lopo, From Enumerator to Conduit
     6 * Brian `McKenna`, Roy - a function language that compiles to Javascript
     7 * Eric Torreborre, The Essence of the Iterator Pattern
     8 * Discussion of the speakers roster for 2012.