Name		Name	Last commit message	Last commit date
bin		bin
docs		docs
examples		examples
lib		lib
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
bidir.opam		bidir.opam
dune-project		dune-project
unitTest.py		unitTest.py

Repository files navigation

Bidirectional Typechecking

A toy programming language with bidirectional typechecking.

Install and Run

make
bidir <filename>

Documentation

Available here

About

Bidirectional type checking for predicative System F

chrisnevers.github.io/bidirectional-typechecking/book/index.html

bidirectional-typechecking higher-rank-types subtyping system-f

6 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages