SamueleGiraudo/Aclove

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

语言：OCaml · GitHub 星标：6 · Fork：0

话题：combinatory-logic · computer-science · functional-language · interpreter · programming-language · research · term-rewriting-system

在 GitHub 上查看原仓库