Programming from Nothing

A lambda calculus dissertation project.

Installing

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