Posted on August 4, 2018 by Marko Dimjašević It happened two months ago, but Idris 1.3.0 is out. Tags: Idris, ephemera, functional programming