Mladen Srdić

161 days ago

10 things Idris improved over Haskell

deque.blog

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. But this post is not about dependent typing.