package labrys

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

Install

github.com Edit opam file

Authors

  1. K
    Kate <kit.ty.kate@disroot.org>

Maintainers

  1. K
    Kate <kit.ty.kate@disroot.org>

Sources

0.1.tar.gz
md5=a18d39762a27e18ff4548978536b8477

Description

Tags

compiler System F System Fω llvm type-system language

Published: 09 Aug 2018

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