/fp-lean-ja

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

OtherNOASSERTION

Watchers

No one’s watching this repository yet.