QuentinDuval/IdrisBowlingKata
A type safety challenge in Idris: encoding the rules of Bowling inside the type system
Idris
No issues in this repository yet.
A type safety challenge in Idris: encoding the rules of Bowling inside the type system
Idris
No issues in this repository yet.