package labrys

  1. Overview
  2. No Docs
A toy language based on LLVM that implements the System Fω type-system

Install

Dune Dependency

Authors

Maintainers

Sources

0.1.tar.gz
sha256=1b146b2408c876e4160ce969ac5aaf1d170bc655604304cf3c8fb6bba06d540a
md5=a18d39762a27e18ff4548978536b8477

Description

Dependencies (11)

  1. containers >= "2.0" & < "3.0"
  2. llvm >= "3.8" & < "13.0"
  3. uutf >= "1.0.0"
  4. msgpack
  5. re >= "1.2.2"
  6. pprint < "20220103"
  7. cmdliner
  8. base-unix
  9. menhir < "20211223"
  10. dune >= "1.10"
  11. ocaml >= "4.04"

Dev Dependencies (1)

  1. craml with-test

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.