= Past Meetings, 2012 =

=== 41: 16th February ===
 * Ben Sinclair, [http://code.ouroborus.net/fp-syd/past/2012/2012-02-sinclair-certifed-adder.agda A certified adder in Agda]
 * Erik de Castro Lopo, [http://code.ouroborus.net/fp-syd/past/2012/2012-02-deCastroLopo-conduit.pdf From Enumerator to Conduit]
 * Brian !McKenna, [http://brianmckenna.org/files/presentations/fp-syd-roy/ Roy -  a functional language that compiles to Javascript]
 * Eric Torreborre, [http://code.ouroborus.net/fp-syd/past/2012/2012-02-torreborre-iterator-pattern.pptx The Essence of the Iterator Pattern]
 * Discussion of the speakers roster for 2012.

=== 42: 15th March ===
 * Ben Lippmeier, Contextual equivalence and the ciu-theorem.
 * Shane Stephens
 * Liam O'Conner