Neut

Dependently-typed programming language based on the Calculus of Constructions.

Source | (HN)

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

Tags: language   functional  

Last modified 16 December 2024