--- Log opened Sat Jun 22 00:00:45 2013
--- Log opened Sat Jun 22 07:17:26 2013
--- Log opened Sat Jun 22 07:56:26 2013
07:58 -!- You're now known as mcallan
15:42 < conseo> mcallan: did you know this: https://en.wikipedia.org/wiki/Curry-Howard_correspondence ?
--- Log closed Sun Jun 23 00:00:37 2013