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
sha256=1b146b2408c876e4160ce969ac5aaf1d170bc655604304cf3c8fb6bba06d540a
md5=a18d39762a27e18ff4548978536b8477
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/labrys/labrys.0.1/opam
No package is dependent