Zenn
Idris2
このトピックを指定するには
idris2
と入力
Articles
3
articles
Trending
Alltime
Latest
🎉
reverse (reverse xs) = xs を証明してみる in Idris2
hiropon21
2021/03/12
16
💭
SnocList recursive viewを型駆動開発してみよう in Idris2
hiropon21
2020/12/24
8
❤️🔥
【Idris】自然数の型を定義して「∀n∈N. n+0=n」を証明する
やさしい理系お兄ちゃん
4ヶ月前