HN
Hacker News
Top
New
Best
Ask
Show
Jobs
d_christiansen
111 karma · joined June 9, 2022
submissions
comments
Functional Programming in Lean
leanprover.github.io
·
159 pts
·
d_christiansen
·
37
Functional Programming in Lean – an in-progress book
leanprover.github.io
·
2 pts
·
d_christiansen
·
0