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

--- Day changed Wed Feb 22 2017
wedifybummer. i defined a lens library using records to overload view and over but i end up having to specify instances so often that i just use the non-overloaded definitions anyway22/02 02:44
wedifyi hope to one day know how to make agda smarter22/02 02:46
arjen-jonathanHi all22/02 16:30
arjen-jonathanQuestion: how would you formally describe the difference between parameterized and indexed types?22/02 16:31
wedifyaren-jonathan: is this what you're looking for? https://ziman.functor.sk/oldblog/index.html%3Fp=443.html22/02 23:08

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