labrys

A toy language based on LLVM that implements the System Fω type-system
Description
Install
Published
09 Aug 2018
Sources
0.1.tar.gz
md5=a18d39762a27e18ff4548978536b8477
Dependencies
craml
with-test
containers
>= "2.0" & < "3.0"
llvm
>= "3.8" & < "13.0"
uutf
>= "1.0.0"
re
>= "1.2.2"
pprint
< "20220103"
menhir
< "20211223"
dune
>= "1.10"
ocaml
>= "4.04"
Reverse Dependencies