soren-n/bidi-higher-rank-poly

Stars
23
Rank 1,016,462 (Top 21 %)
Language
OCaml
License
MIT License
Created almost 5 years ago
Updated over 3 years ago

soren-n/bidi-higher-rank-poly

soren-n

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml

typeset-ocaml

An embedded DSL for defining source code pretty printers implemented in OCaml

minigun-py

A library for property-based testing of Python programs. Please read the documentation to learn more: https://minigun.readthedocs.io/en/latest/

tickle

Command line workflow automation tool which performs task graph scheduling and concurrent task evaluation.