t_wの輪郭
言語
言語
関数型
関数型言語
2022/6/11 6:30:00
静的型付け関数型プログラミング言語
Lean
あれ
関数型言語
静的型付け言語
静的型付け関数型プログラミング言語
2025/9/28 2:48:00
『静的型付け関数型プログラミング言語を使わない10の理由 | F# for fun and prof...
関数型言語
定理証明支援系
Lean
2024/3/24 19:25:00
https://lean-lang.org/
https://github.com/leanprover
【定理証明支援系Lean】写像って、そもそも何？
あれ
オブジェクト指向
記号論
関数型言語
あれ
2022/6/11 6:29:00
あれ
関数型プログラミング
関数型言語
函数型言語
2020/12/1 16:16:00
あれ