Source | (HN)
https://github.com/u2zv1wx/neut A dependently-typed programming language with compile-time malloc/free determination.
Last modified 07 October 2024