smatting/learn-agda

1. Create loadme.el by running ./scripts/gen-loadme-el.sh
2. Open loadme.el in emacs and evaluate buffer (eval-buffer)
3. Open an agda file and activate agda2-mode. Then e.g. evalute the buffer