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