Languages and libraries
2020neut
A dependently-typed programming language with static memory management
Curious456 points78 comments
u2zv1wx
1 Show HN that got attention, 2020. 456 points in all.
Makers can hide their page. See how to opt out.
1 Show HN that got attention, 2020. 456 points in all.
Languages and libraries
2020A dependently-typed programming language with static memory management
Curious456 points78 comments
Makers can hide their page. See how to opt out.