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-
Notifications
You must be signed in to change notification settings - Fork 0
Backend for tryagda
License
qwe2/try-agda
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Backend for tryagda
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published