package labrys

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

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

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

Maintainers

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

Sources

0.1.tar.gz
sha256=1b146b2408c876e4160ce969ac5aaf1d170bc655604304cf3c8fb6bba06d540a
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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct