Idris 1.1.0 released(idris-lang.org)2 ポイント·投稿者 subtenante·9 年前·0 コメントidris-lang.orgIdris 1.1.0 releasedhttps://www.idris-lang.org/idris-1-1-0-released/0 コメントコメントを投稿—