labrysversion Documentation on ocaml.org
A toy language based on LLVM that implements the System Fω type-system
| Tags | compiler System F System Fω llvm type-system language |
|---|---|
| Author | Kate <kit.ty.kate@disroot.org> |
| License | MIT |
| Published | |
| Homepage | https://github.com/kit-ty-kate/labrys |
| Issue Tracker | https://github.com/kit-ty-kate/labrys/issues |
| Maintainer | Kate <kit.ty.kate@disroot.org> |
| Dependencies | |
| Source [http] | https://github.com/kit-ty-kate/labrys/archive/0.1.tar.gz sha256=1b146b2408c876e4160ce969ac5aaf1d170bc655604304cf3c8fb6bba06d540a md5=a18d39762a27e18ff4548978536b8477 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/labrys/labrys.0.1/opam |
No package is dependent
