freenode/#sicl - IRC Chatlog Search Wednesday, 19th of February 2020, 8:24:25 UTC 9:00:12 heisig Good morning! 9:00:27 beach Hello heisig. 9:08:35 shka_ heisig: good morning! 9:13:11 no-defun-allowed Good morning heisig! 13:06:52 beach I submitted my two papers to ELS. Now I can get back to code generation for real.