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

--- Day changed Thu Feb 23 2017
wedifythere are too many cool papers to read23/02 02:45
wedifyi suppose it is better that there are too many than too few but i wonder how i will ever catch up23/02 02:46
wleslieto the reading of many papers there is no end23/02 02:46
glekiis this the only compiler to js? is it too outdated? https://github.com/agda/agda-frp-js23/02 08:20
mietekgleki: Agda includes a JS compiler backend23/02 09:06
mietekgleki: http://agda.readthedocs.io/en/latest/tools/compilers.html#javascript-backend23/02 09:07

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