/idrissonne

An implementation of the popular Carcassonne tabletop game in the powerful Idris language.

Primary LanguageIdris

idrissonne

An implementation of the popular Carcassonne tabletop game in the powerful Idris language.