A Graphical User Interface for Agda for OS X Systems. Works with OS X 10.10 (Yosemite) or later.
You can find compiled program under Releases (.zip attachment). Just unzip it, move it to desired folder (ie. Applications) and run the program.
Agda Writer in Action
Loading a File
Normalizing an expression
- Handy shortcuts for actions
- Customizable Unicode (Latex-like) input with autocompletion
- Same color palette as in Emacs
- Independent Buffer window, so you can always know what is going on
- Well, it's not Emacs :D
It works without downloading & compiling Agda first. Just run the program and you are ready.
Agda Writer is Licensed under MIT License Agreement. See Licence.md for more details.