Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
d_christiansen | Dark Hacker News
user:
d_christiansen
created:
June 9, 2022
karma:
111
submissions
comments
1.
Functional Programming in Lean
(leanprover.github.io)
159 points
by
d_christiansen
3 years ago
|
37 comments
2.
Functional Programming in Lean – an in-progress book
(leanprover.github.io)
2 points
by
d_christiansen
4 years ago
|
0 comments