hy-agda

This repo is a collection of notes and other stuff related to Agda.

Installation of Agda

On macbook pro, there were already some old and/or misconfigured versions of Haskell and cabal. Here's how that was fixed:

get rid of old stuff
```
rm -rf ~/.cabal/ ~/.ghc/
```
Download and install the latest version (ver 8.0.1) of Haskell from https://www.haskell.org/platform/
Uninstall old versions of Haskell so they don't conflict with the newly installed version.
```
 sudo uninstall-hs thru 7.8.3 --remove
```
Download the latest cabal-install source code from https://www.haskell.org/cabal/download.html and put it in ~/opt.
```
 mv ~/Downloads/cabal-install-1.24.0.0.tar.gz ~/opt/
```

Unpack the cabal-install source code and run the bootstrap.sh installation script.

 cd ~/opt/
 tar xvzf cabal-install-1.24.0.0.tar.gz 
 cd cabal-install-1.24.0.0
 ./bootstrap.sh

Modify the PATH environment variable so we can find stuff in ~/.cabal/bin
```
 export PATH=$HOME/.cabal/bin:$PATH
```
(Note: $HOME=/Users/shinhyeyoung. Also added $HOME/.cabal/bin to PATH variable in the config file .bash_profile, so this directory will be included in PATH in future.)
Run update and install the required dependencies for Agda
```
 cabal update
 cabal install happy alex
```
Finally, install Agda
```
 cabal install Agda
```
Run agda-mode setup (which merely modifies your .emacs configuration file, so that emacs knows where to find agda-mode).
```
 agda-mode setup
```
Launch aquamacs with an agda file called First.agda.
```
aquamacs First.agda &
```

Here are instructions describing how to tell Agda to use the standard library. http://agda.readthedocs.io/en/latest/tools/package-system.html (We haven't followed these instructions yet. We're just keeping the link here for future reference.)

Started with this tutorial:

(So far, only Exercise 1 is done---see file First.agda.)