labrysversion

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

Tags compiler System F System Fω llvm type-system language
AuthorKate <kit.ty.kate@disroot.org>
LicenseMIT
Published
Homepagehttps://github.com/kit-ty-kate/labrys
Issue Trackerhttps://github.com/kit-ty-kate/labrys/issues
MaintainerKate <kit.ty.kate@disroot.org>
Dependencies
Source [http] https://github.com/kit-ty-kate/labrys/archive/0.1.tar.gz
md5=a18d39762a27e18ff4548978536b8477
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/labrys/labrys.0.1/opam
No package is dependent