To install Cedille version 1.0 on Linux/Mac (Cedille also works
on Windows, but we added this support only recently, and the
installation instructions do not cover this):

0. install Agda version 2.5.x, which is needed to compile Cedille.

1. check out a copy of the Iowa Agda Library (probably best to do this
   in some other directory):

   svn co https://svn.divms.uiowa.edu/repos/clc/projects/agda/ial

2. create a symbolic link in the Cedille directory, pointing to the
   IAL directory.  The link should be named "ial".

3. Now you can run "make" in the Cedille directory, and this should
   compile the cedille executable (which should appear in the Cedille
   directory).

4. Follow the directions at the top of cedille-mode.el in the Cedille
   directory, to set up Cedille mode within emacs.  Then you can open
   files like lib/bool.ced within emacs and hit "Meta-s" to process
   them (if all goes well, the mode should change to "Cedille navi"
   and you can then type "h" for help).

To edit Agda source files for Cedille:

-- since Agda 2.5.x now uses a library system, you need to tell Agda
   about the three libraries used for Cedille (these are for the Cedille
   sources, the IAL, and some stuff for the parser).  If you run make
   (or directly ./create-libraries.sh) it will create the libraries
   file with the full paths to these libraries.  Then you can add an
   Agda2 program argument (via customize-group then "agda2" in emacs)
   to reference the libraries file with
   --library-file=<path-to-your-generate-libraries-file>.

-- warning: you should compile Cedille to an executable using "make",
   rather than from within Agda in emacs.  Or else please look at 
   cedille/Makefile for extra arguments you have to give to agda
   when compiling Cedille.
