Show HN: A dependently-typed programming language with static memory management

news.ycombinator.com

saved by: 0 people
related read on: A dependently-typed programming language with static memo... discussion