higher-rank
higher-rank copied to clipboard
lexi-lambda
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
Results
1
higher-rank issues
Sort by
recently updated
recently updated
newest added
In https://github.com/ollef/Bidirectional alpha conversion is done in the inference/checking of lambdas. You don't do that and just add the assumption to the context. Won't this mean that the following will...
Metadata
101
Stars
2
Forks
Watchers
Owner
Metadata
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism