issues
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
演習問題に解答を付ける
#9
Closed
Seasawher
closed
6 months ago
Seasawher
commented
9 months ago
訳を付けるにあたり、すべての演習問題に解答を用意する
訳を付けるにあたり、すべての演習問題に解答を用意する