Skip to content

Latest commit

 

History

History
25 lines (17 loc) · 805 Bytes

INSTALL.md

File metadata and controls

25 lines (17 loc) · 805 Bytes

Installation

  1. Install Agda v2.6.3 (instructions).
  2. Install agda-stdlib v2.0 (instructions).

This is all that is required to play with calf.

(Optional) Installing the calf Agda library

Find the absolute path of the calf folder (e.g., $HOME/Downloads), which we refer to as CALF_PATH. Add the following line to $HOME/.agda/libraries:

CALF_PATH/calf/calf.agda-lib

calf should now be installed.

Testing the Installation

To test your installation, run:

agda src/index.agda

or using Emacs mode, open src/index.agda and load the file by via C-c C-l (pressing Ctrl-C immediately followed by Ctrl-L).