A lambda calculus dissertation project.
After cloning this repo, run
cabal update && cabal install --only-dependencies
Then build with cabal build
For setting up the bot with discord, including creating the required API tokens please view this guide from discord-haskell.
Then create a file named auth-token.secret and add your token (not the secret id) from https://discordapp.com/developers/applications/me
This is the Bot token (Not the client secret) from developer portal under the settings tab.
Make sure this file is in the directry the bot is in.
You can then run the bot by either running the executable generated by cabal build or by running cabal run