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

--- Day changed Tue Jan 17 2017
stoopkiddrdo: definitely17/01 05:41
stoopkidcomietek: i still think the better route would be to describe mathematical syntaxes within type theory and basically build up a model theory framework and then build tactics inside type theory17/01 05:43
structuralistCan anyone recommend a light-on-dark color scheme for agda?17/01 20:10

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