Zennta

Qiita一覧

Zenn一覧

Idris を始めた話

【Idris】自然数の型を定義して「∀n∈N. n+0=n」を証明する

Idrisで定理証明をやっていく - 論理式 AND

Idrisで定理証明をやっていく - p ならば p の証明

Idrisで定理証明をやっていく

reverse (reverse xs) = xs を証明してみる in Idris2

SnocList recursive viewを型駆動開発してみよう in Idris2