/fp-lean-ja

Functional Programming in Lean の日本語訳（作業中 🚧）

OtherNOASSERTION

Stargazers

No one’s star this repository yet.