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

--- Log closed Wed May 31 07:57:26 2017
--- Log opened Wed May 31 08:03:57 2017
-!- Irssi: #agda: Total of 117 nicks [0 ops, 0 halfops, 0 voices, 117 normal]31/05 08:03
-!- Irssi: Join to #agda was synced in 122 secs31/05 08:05
--- Log closed Wed May 31 08:24:50 2017
--- Log opened Wed May 31 08:24:57 2017
-!- Irssi: #agda: Total of 118 nicks [0 ops, 0 halfops, 0 voices, 118 normal]31/05 08:24
-!- Irssi: Join to #agda was synced in 125 secs31/05 08:26
{AS}mietek: bugs happen :)31/05 08:31
comietekdoes anyone have an Agda implementation of McBride-McKinna 2004, "I am not a number: I am a free variable"?31/05 19:10
comietekor, any Agda implementation of a language with binders, using something else than de Bruijn indices? ideally, names.31/05 19:17
comietekhttps://nicolaspouillard.fr/publis/lfmtp2012-talk/html/binding-representations.html came up; ping npo31/05 19:57

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