= 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.