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. Tags: Haskell, Idris, ephemera, functional programming