A bot with a simple strategy.
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.
 
 
Tissevert 9fb130c944 Fix bug in end of game handling 1 year ago
src Fix bug in end of game handling 1 year ago
ChangeLog.md Draft version only creating a connection and sending its name before hanging up 2 years ago
LICENSE Draft version only creating a connection and sending its name before hanging up 2 years ago
Setup.hs Draft version only creating a connection and sending its name before hanging up 2 years ago
hannah.cabal Implement basic Automaton 1 year ago