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

--- Day changed Sat Jul 08 2017
akr[m]https://github.com/gallais/agdarsec08/07 13:03
akr[m]this looks nice08/07 13:03
akr[m]is this the "best" parser library for Agda atm?08/07 13:03
akr[m]gallais_: ^08/07 13:03
akr[m]hmm, this looks quite interesting https://github.com/gallais/agdarsec/blob/master/src/Induction/Nat/Strong.agda08/07 13:08
akr[m]although I don't really understand it08/07 13:08
mortbergb08/07 13:25
mortbergoops08/07 13:25

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