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