Skip to content

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

Notifications You must be signed in to change notification settings

JDemler/BidirectionalTypechecking

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

See arXiv:1306.6032

This implementation focusses on readability and being able to follow the paper while reading the code.

Use the synth function to synthesize a Type from an Expression. The process is traced through stdout, so that you can follow the rules invoked.

Basis of this implementation was the paper and implementations by Olle Fredriksson in Haskell and Albert ten Napel in TypeScript.

About

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages