Show HN: A dependently-typed programming language with static memory managementgithub.com/u2zv1wx456 pointsu2zv1wx6 years ago