wooo, what do we have here? A GC-free functional language that handles memory management not with scopes or lifetimes, but with dependent types πππ
https://github.com/vekatze/neut
#useful_repositories #programming #neut
https://github.com/vekatze/neut
#useful_repositories #programming #neut
GitHub
GitHub - vekatze/neut: A programming language with static memory management based on Ξ»-calculus
A programming language with static memory management based on Ξ»-calculus - vekatze/neut