Zennta
ログイン
会員登録
検索
後で読む
お気に入り
お気に入りグループ
検索
Qiita一覧
Zenn一覧
お問い合わせフォーム
利用規約
プライバシーポリシー
1
Idris を始めた話
【Idris】自然数の型を定義して「∀n∈N. n+0=n」を証明する
Idrisで定理証明をやっていく - 論理式 AND
Idrisで定理証明をやっていく - p ならば p の証明
Idrisで定理証明をやっていく
reverse (reverse xs) = xs を証明してみる in Idris2
SnocList recursive viewを型駆動開発してみよう in Idris2
1
記事がありません