Idris 0.99.2 Released #1 Post by subtenante » Wed, Mar 29, 2017, 10:41 AM UTC Idris 0.99.2 Releasedidris-lang.org