Idris dependent typing challenge: Bowling Kata

The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. In this post, we will look at implementing a type safe version of the Bowling Kata in Idris, to see how far we can go with the... Continue Reading →

Create a website or blog at

Up ↑

%d bloggers like this: