agda -c --compile-dir=. --ghc-flag=-isrc -i src -i /Users/larrytheliquid/opt/agda-stdlib/src src/Coirc/Bot.agda
./Bot
isabella232 / coirc Goto Github PK
View Code? Open in Web Editor NEWThis project forked from larrytheliquid/coirc
work in progress - on and off between other things
License: MIT License