/Aclove

A programming language based on combinatory logic and term rewrite systems, with an advanced type system.

Primary LanguageOCamlGNU General Public License v3.0GPL-3.0

Stargazers