= Past Meetings, 2013 = == 52: 27th March == * Erik de Castro Lopo: Persistent and Esqueleto * Eric Torreborre: Kiama, a walk down the beach * Liam O'Connor-Davis: Type Theory is Proof Theory === 51: 27th February === * [http://code.ouroborus.net/fp-syd/past/2013/2013-02-Lippmeier-Beluga.pdf Ben Lippmeier, The Beluga Language] * Dhanji Prasanna, The Loop Language * Boey Maun Suang, The J Language === --: January (no meeting) ===