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.

Branch: main

main

stateless-game

tls-support

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'main'

${ noResults }

Compare

HTTPS

 ZIP  TAR.GZ

Tissevert 9fb130c944 Fix bug in end of game handling		4 years ago
src	Fix bug in end of game handling	4 years ago
ChangeLog.md	Draft version only creating a connection and sending its name before hanging up	5 years ago
LICENSE	Draft version only creating a connection and sending its name before hanging up	5 years ago
Setup.hs	Draft version only creating a connection and sending its name before hanging up	5 years ago
hannah.cabal	Implement basic Automaton	4 years ago