I am using the development version of Agda
git clone https://github.com/agda/agda.git
Please let me know if some changes in Agda break compilation.
If you do not have it already, you need Agda's standard library:
git clone https://github.com/agda/agda-stdlib.git
A couple other repositories are also required.
-
git clone http://github.com/ma82/adapter.git
Do not forget to install concurrent-agda's Haskell package.
cd concurrent-agda/ffi
cabal install
If everything worked, please check that the paths in session's
Makefile are correct, otherwise edit them.
make examples
After a while some binaries should appear in Session/Examples/.
Please check that the output corresponds to that in the provided
.out files. Note that examples can be non-deterministic, though, so
some lines may appear in different order.
make html
Or visit this page.
If you want to use/modify this project please let me know!