aradarbel10/Styff

A functional programming language based on system F (omega) ft. NbE and higher order unification

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

话题：compiler · functional-language · gadts · ocaml · pattern-matching · programming-language · system-f · system-f-omega

在 GitHub 上查看原仓库