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

--- Day changed Sat Mar 25 2017
gleblobanovIs lambda-pi calculus the same for Edinburgh LF as UTT is for Agda? Or is lambda-pi just a general name for lambda calculus with dependent types?25/03 20:35

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