Source | (HN)

https://github.com/u2zv1wx/neut
A dependently-typed programming language with compile-time malloc/free determination.


Tags: language   functional  

Last modified 24 May 2024