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.