wiki:Past/2013

Version 7 (modified by Ben Lippmeier, 11 years ago) (diff)

--

Past Meetings, 2013

53: 24th April

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)