Y
Hacker News
new
|
ask
|
show
|
jobs
user:
caotic123
created:
2021-08-11
karma:
70
submissions:
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
I am selling a lambda expression as an NFT
3 points
|
3 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
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
Show HN: Dependently typed language for proofs that you can implement in one day
138 points
|
96 comments