--- Day changed Thu Feb 09 2017
Alex_____Hello, should I use emacs or atom for learning Agda?09/02 09:14
akremacs is the standard, but I don't know how far along is the agda mode for atom09/02 09:27
akrit seems fairly complete, but I haven't tried it myself09/02 09:27
Alex_____Thanks, I'll try atom first09/02 09:32
akrnp09/02 09:42
akrfeel free to let me know how it goes :)09/02 09:42

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