New style of setting up agda-mode
Agda setup for CUFP tutorial