2013-11-29から1日間の記事一覧
idris-0.9.10 がリリースされたのでちょっと触ってみた。http://www.idris-lang.org/idris-0-9-10-released/ 証明付き型クラス 以前の idris では下のツイートのようなことはできなかったのですが、できるようになっていました。 型クラスを実装するときに、…
idris-0.9.10 がリリースされたのでちょっと触ってみた。http://www.idris-lang.org/idris-0-9-10-released/ 証明付き型クラス 以前の idris では下のツイートのようなことはできなかったのですが、できるようになっていました。 型クラスを実装するときに、…