discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Show HN: A dependently-typed programming language with static memory management
https://github.com/u2zv1wx/neut
78 comments
23/5/2020