A type safety challenge in Idris: encoding the rules of Bowling inside the type system
Primary LanguageIdris