View on GitHub

Agda Writer

A simple GUI for Agda

Download this project as a .zip file Download this project as a tar.gz file

A Graphical User Interface for Agda for OS X Systems. Works with OS X 10.10 (Yosemite) or later.


  1. Download
  2. Unzip
  3. Save Agda Writer to Application Folder
  4. Run Agda Writer


You can provide path to your own compiled Agda executable, or you can use Bundled Agda (Version


Awesome Features

It works without downloading & compiling Agda first. Just run the program and you are ready.


Agda Writer is Licensed under MIT License Agreement. See for more information.