qwe2/try-agda

Backend for tryagda

To build and run the project:

git clone --recursive https://github.com/qwe2/try-agda
cd try-agda
cabal sandbox init
cabal install -j
#if the above fails: cabal install -j --reorder-goals
cabal run -- -p 9000