atennapel / bidirectional.js Public

Notifications You must be signed in to change notification settings
Fork 3
Star 76

Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"

76 stars 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 75 Commits
.vscode		.vscode
extended		extended
ts-contextual-hkt		ts-contextual-hkt
ts-contextual		ts-contextual
ts-mutable		ts-mutable
ts		ts
worklist		worklist
README.md		README.md
bidirectional.js		bidirectional.js
nary-nbe.js		nary-nbe.js
nary.js		nary.js
nary_output.txt		nary_output.txt
scoped.elab.js		scoped.elab.js
scoped.fc.js		scoped.fc.js
scoped.hkt.js		scoped.hkt.js
scoped.impl.js		scoped.impl.js
scoped.js		scoped.js
simpler.hkt.js		simpler.hkt.js
simpler.js		simpler.js

Repository files navigation

bidirectional.js

Javascript and Typescript implementations of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"

This is an almost direct translation of https://github.com/ollef/Bidirectional

See ts-mutable for the most up-to-date implementation.

See scoped.js for a minimal implementation of type inference for predicative System F. See scoped.fc.js for a minimal implementation of a bidirectional version of HMF (invariant but impredicative instantiations). See nary.js for the most up-to-date implementation of impredicative System F.

About

Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"

Report repository

Releases

No releases published

Packages

No packages published

Languages