Agda Stuff

To use Agda, add this line to your .bashrc file:

export PATH=$PATH:/home/others/conor/.cabal/bin

then start a new terminal and do

agda-mode setup
emacs &

and cross your fingers. You should then be able to edit the files in "Materials" using Agda mode. It may help to look at the quick editing quide and the "google" cheatsheet.

Last modified: Wed Aug 20 11:23:37 BST 2014