cedille.github.io

Building Cedille version 1.1.2 with Stack

  1. Install C libraries *zlib** and *ncurses** for building Agda
    • apt install zlib1g-dev libncurses5-dev on Ubuntu for example
    • On MacOS these may already be available if you have xcode libraries installed
  2. In the Cedille repository directory:
    • Run stack build Agda alex happy
    • Run stack build --copy-bins --local-bin-path .
  3. Add the following to your ~/.emacs file, changing the path to match your system
    (setq cedille-path "/path/to/cedille-dir/")
    (add-to-list 'load-path cedille-path)
    (require 'cedille-mode)
    

Editing Agda Source Files for Cedille