Zenn
依存型
このトピックを指定するには
依存型
と入力
Articles
2
articles
Trending
Alltime
Latest
🌝
Haskell の依存型に入門する
dmystk
6ヶ月前
23
❤️🔥
【Idris】自然数の型を定義して「∀n∈N. n+0=n」を証明する
やさしい理系お兄ちゃん
5ヶ月前