Y
Hacker News
new
|
ask
|
show
|
jobs
user:
d_christiansen
created:
2022-06-09
karma:
111
submissions:
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Functional Programming in Lean
159 points
|
37 comments
0 points
|
0 comments
0 points
|
0 comments
Functional Programming in Lean – an in-progress book
2 points
|
0 comments