kit-ty-kate/labrys

A toy language based on LLVM that implements the System Fω type-system

语言：OCaml · GitHub 星标：114 · Fork：3

话题：compiler · language · llvm · ocaml · programming-language · type-system

在 GitHub 上查看原仓库