/fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

Primary LanguageLeanOtherNOASSERTION

Stargazers