ayberkt/abt

Ocaml port of CMU's ABT library (with various modifications).

语言：OCaml · GitHub 星标：9 · Fork：1

话题：abstract-syntax · binding · substitution · variable

在 GitHub 上查看原仓库