/home/laney/.irssi/irclogs/Freenode/#agda.log-20170720

--- Day changed Wed Jul 19 2017
arjen-jonathanDoes anyone know whether there is a video of Ulf's talk at the last implementors meeting?19/07 11:47
arjen-jonathanAbout x86 assembly in Agda?19/07 11:47
comietekarjen-jonathan: I’d love to see that19/07 14:37
arjen-jonathanMe too ;-)19/07 15:27
arjen-jonathancomietek: https://github.com/UlfNorell/x86-agda/issues/119/07 16:48
arjen-jonathanFingers crossed19/07 16:48
comietekthanks19/07 18:01

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