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

--- Day changed Fri Aug 18 2017
zaoqiHow do I implement a language like agda?18/08 07:42
lambda-11235zaoqi: With a lot of time and effort. The paper by Norell outlines the general typing and inference rules.18/08 08:06
lambda-11235http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7934&rep=rep1&type=pdf18/08 08:06
lambda-11235The title is "Towards a practical programming language based on dependent type theory".18/08 08:07
zaoqiI can't download it.18/08 08:10
lambda-11235Hmm, that's odd, it stopped working for me too. Here's a link from Norell's site http://www.cse.chalmers.se/~ulfn/papers/thesis.pdf.18/08 08:22
zaoqi403 Forbidden18/08 09:01

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