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 function language that compiles to Javascript
• Eric Torreborre, The Essence of the Iterator Pattern
• Discussion of the speakers roster for 2012.