labrysversion
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