--- Day changed Wed Aug 23 2017
apostolisDoes anyone know the commands that can be passed at the command line at "agda --interaction"23/08 10:12
apostolisIt is the emacs api.23/08 10:13
m0rphismhi, I'm quite new to Agda and am wondering if there is any tooling for reading (already finished) proofs. When writing the proofs the goal and context display of agda-mode is very helpful. When reading proofs, I currently just reintroduce holes around the expressions to see this context again. What are your techniques for reading proofs?23/08 11:13

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