[Agda] Agda on GitHub Atom

Balaji Rao R balaji at raobalaji.com
Sat Apr 12 20:26:48 CEST 2014


Hello,

I’m interested to develop an Agda package for the GitHub Atom editor. Can anyone give me pointers on how to get started on the Agda side ? I would like to start by trying to get highlighting to work.

Any help is appreciated!

Thanks,
Balaji


More information about the Agda mailing list