A command line program for normalizing and type-evaluating agda expressions.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Makefile
README.md
agda-helper.hs

README.md

#AGDA Helper

##Installation Install AGDA and the Agda Haskell library. Modify the Makefile as per the version of the Agda Haskell library you installed (the PACKAGE line). Modify agda-helper.hs with your AGDA standard library path: This line:
(cmd_load file [".", "/usr/share/agda-stdlib"] )