wiki:Past/2013

Version 5 (modified by Ben Lippmeier, 8 years ago) (diff)

--

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

--: January (no meeting)