u2zv1wx/neut

A functional programming language with static memory management

456 best points · 78 comments · 1 Hacker News post · 1,010 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: A dependently-typed programming language with static memory management (456 points, 78 comments, by u2zv1wx, 2020-05-23)