Type safety challenge in Idris: using dependent types for the bowling game kata

Be the first to share your thoughts.