The CS Education Library project at Stanford is an online library which collects and organizes computer science education materials, and gives them away for free.
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. Back in July, we implemented a type safe bowling kata in which we could not create a bowling game that would not satisfy the rules of the…