/neut

A dependently-typed programming language with static memory management

Primary LanguageHaskellMIT LicenseMIT

Stargazers