gfngfn/toy-macro-ml

An implementation of MacroML [Ganz, Sabry & Taha 2001]

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

话题：macro · multi-stage-programming · ocaml · type-checker · type-system

在 GitHub 上查看原仓库