labrys

AuthorKate <kit.ty.kate@disroot.org>
LicenseMIT
Homepagehttps://github.com/kit-ty-kate/labrys
Issue Trackerhttps://github.com/kit-ty-kate/labrys/issues
Tagscompiler, System F, System Fω, llvm, type-system and language
MaintainerKate <kit.ty.kate@disroot.org>
Dependencies
&base-unix
cmdliner
containers>= 2.0
craml
dune
llvm>= 3.8
menhir
msgpack
pprint
re
uutf>= 1.0.0
Availableocaml-version >= "4.04"
PublishedAug 9, 2018
Source [http] https://github.com/kit-ty-kate/labrys/archive/0.1.tar.gz
a18d39762a27e18ff4548978536b8477
StatisticsInstalled 12 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/labrys/labrys.0.1/opam

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

No package is dependent