search

lean-ja / fp-lean-ja

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

1 章の演習問題を解き，その解答を solutions ディレクトリに入れる #12

Closed Seasawher closed 8 months ago