IRC Logs for #io Wednesday, 2015-08-05

*** gatesphere has quit IRC03:52
*** chadkouse has quit IRC07:17
*** spx7 has joined #io08:45
*** TheMonkey has joined #io10:18
*** ElMonkey_ has quit IRC10:22
*** nixfreakz has joined #io11:43
*** nixfreakz has quit IRC12:03
*** ijon_ has joined #io13:23
*** chadkouse has joined #io13:59
*** chadkouse has quit IRC14:35
*** chadkouse has joined #io14:38
*** chadkouse has quit IRC14:38
*** chadkouse has joined #io15:01
*** spx7 has quit IRC15:33
*** ijon_ has quit IRC15:46
*** chadkouse has quit IRC16:12
*** ijon_ has joined #io16:12
*** whaletechno has quit IRC16:12
*** chadkouse has joined #io16:39
*** chadkouse has quit IRC17:01
*** whaletechno has joined #io18:51
*** ijon_ has quit IRC19:06
*** ijon_ has joined #io19:57
jerso on the back of a long chat i had with Steve in new york last week, i decided to start working on a compiler for a new language in my spare time20:06
jerlast night started a type checker, today it tests fine for functions, pairs, simple types, variables including pair splitting with inference.20:06
jer=D20:06
*** TheMonkey has quit IRC20:13
*** TheMonkey has joined #io20:13
*** ijon_ has quit IRC20:14
*** bb010g has joined #io20:52
*** c74d has quit IRC21:09
*** c74d has joined #io21:12
*** spx7 has joined #io21:45
*** TheMonkey has quit IRC22:41
*** TheMonkey has joined #io22:41
*** ElMonkey_ has joined #io23:06
*** whaletechno has quit IRC23:08
*** TheMonkey has quit IRC23:10
*** spx7 has quit IRC23:10
*** whaletechno has joined #io23:55

Generated by irclog2html.py 2.11.0 by Marius Gedminas - find it at mg.pov.lt!