Show HN: A dependently-typed programming language with static memory management https://ift.tt/3giBlmA May 23, 2020 Get link Facebook X Pinterest Email Other Apps Show HN: A dependently-typed programming language with static memory management https://ift.tt/2LTNTTv May 23, 2020 at 09:18PM