Idris for Haskellers

Posted on September 4, 2018 by Marko Dimjašević

In case you are a Haskeller interested in learning Idris, check out a short list of things to look out for.