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

--- Day changed Sat Jun 24 2017
rntzis there a way to make some arguments to a record constructor implicit?24/06 23:26
rntzI can use a pattern synonym, which is what I'm currently doing, and that works fine24/06 23:26
rntzbut maybe there's a more direct way?24/06 23:26

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