QuentinDuval / IdrisBowlingKata

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

QuentinDuval/IdrisBowlingKata Stargazers