Idris 1.1.0 released #1 Post by subtenante » Tue, Aug 01, 2017, 2:41 PM UTC Idris 1.1.0 releasedidris-lang.org