Skip to content

A type theory with native support for Polynomial Functors.

Notifications You must be signed in to change notification settings

ToposInstitute/polytt

Repository files navigation

PolyTT 🦜

A type theory with native support for Polynomial Functors.

For examples, see std-lib/Tutorial.poly.

Building

Install opam using our preferred package manager. On Mac you can install it with homebrew via:

$ brew install opam

Once you have opam you can install all the dev dependencies and then build polytt:

$ opam init
$ opam switch create . ocaml-base-compiler.5.0.0
$ opam install --deps-only --locked .
$ dune build

Alternatively, flake.nix file is provided to setup an entire development environment with nix:

$ nix develop

Running

$ dune exec polytt std-lib/Tutorial.poly

References

About

A type theory with native support for Polynomial Functors.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published