Past Meetings, 2012

41: 16th February

• Ben Sinclair, ​A certified adder in Agda
• Erik de Castro Lopo, ​From Enumerator to Conduit
• Brian McKenna, ​Roy - a functional language that compiles to Javascript
• Eric Torreborre, ​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, ​Hindemith in Haskell
• Liam O'Conner, Zippers and Data Type Differentiation