Skip to content
A type safety challenge in Idris: encoding the rules of Bowling inside the type system
Idris
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Bowling.idr
README.md

README.md

Idris Bowling Kata

A type safety challenge in Idris, based on the Bowling Kata (http://codingdojo.org/kata/Bowling/) but adding enough type level invariants to make sure we cannot instantiate invalid games.

You can’t perform that action at this time.