Y
Hacker News
new
|
ask
|
show
|
jobs
user:
u2zv1wx
created:
2020-05-23
karma:
191
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
Show HN: A dependently-typed programming language with static memory management
456 points
|
78 comments