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

--- Day changed Tue Jan 02 2018
apostolisLet us say that I want to expand a vector till its last element, can I use a pattern synomym to do that?02/01 22:03
apostolisThe vector contains instance arguments. By expanding the vector, instance resolution will be able to use them.02/01 22:04

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