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

--- Day changed Fri Jul 14 2017
rntzapparently this is legal agda?: http://sprunge.us/LCDa14/07 21:32
rntzI can't find the documentation for this weird record field access syntax, though14/07 21:32
rntzanyone know where it is?14/07 21:32

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