Coirc is a project mainly written in Haskell, based on the MIT license.
work in progress - on and off between other things
agda -c --compile-dir=. --ghc-flag=-isrc -i src -i /Users/larrytheliquid/opt/agda-stdlib/src src/Coirc/Bot.agda ./Bot