You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
a bot for synchronized tokin'
When on IRC, use `!toke` to start a new toking process or join an existing one.
Right now the bot also records statistics into a file, but it doesn't do anything useful with it.
Install the following packages (either from opam or from your distribution):
irc-client-tls, irc-client-lwt, dokeysto
Compile with `make`.
Run the program with `-help` to see the parameters.