lean-ja / fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます(作業中 🚧)
https://lean-ja.github.io/fp-lean-ja/
Other
8 stars 2 forks source link

5章 monads #42

Closed s-taiga closed 2 months ago