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

--- Day changed Sat Aug 05 2017
dolioSaizan_: Have you seen McBride's I Got Plenty o' Nuttin'?05/08 20:14
dolioAnd Atkey's followup?05/08 20:14
rntzoh, atkey has a followup to plenty o nuttin?05/08 23:26
dolioYeah. "The Syntax and Semantics of Quantitative Type Theory".05/08 23:53

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