Idris 1.1.0 released(idris-lang.org)2 points·by subtenante·9 lat temu·0 commentsidris-lang.orgIdris 1.1.0 releasedhttps://www.idris-lang.org/idris-1-1-0-released/0 commentsPost comment—