[Agda] Agda Writer - a GUI for Agda on OS X

[Andrej Bauer]

It is my pleasure to announce Agda Writter, a GUI for Agda on the OS X
platform, implemented by
Marko Koležnik. It is very easy to use and requires no installation at
all, as Agda is bundled with it. It should be very convenient for
teaching and casual use.

Agda Writer is freely available at http://markokoleznik.github.io/agda-writer/

It is open source so everyone is welcome to help improve it at
https://github.com/markokoleznik/agda-writer

Features:

* no Emacs
* Agda is bundled with Agda Writer
* you can use your own Agda
* LaTeX-style UTF8 customizable shortcuts
* clickable error messages and goals

With kind regards,

Andrej