Bidirectional
Bidirectional copied to clipboard
ollef
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
Results
1
Bidirectional issues
Sort by
recently updated
recently updated
newest added
Do you have any idea how to extend the system with type applications. I don't know how to extend the subtyping relation, because in general I don't know whether to...
