--- Day changed Thu Dec 07 2017
ninegridHow unfortunate there is no ob-agda for org-babel... 07/12 05:08
ninegridTo make one, I'd have to hook into the internals of agda2-mode I think, seems there are a few edge cases with managing temporary files babel creates to produce result blocks, what with the temporary file name and it's defined module name needing to be congruent 07/12 05:12
ninegridOverall though, it would be a pretty robust system ... org-mode is pretty fantastic for literate programming07/12 05:13

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