G github.com Show HN: A dependently-typed programming language with static memory management 456 points u2zv1wx 6 years ago 78 comments
