Bidirectional icon indicating copy to clipboard operation
Bidirectional copied to clipboard

Published 20 hours ago • verified publisher icon ollef
→

Metadata

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

← Metadata

126
Stars
11
Forks
Watchers

Owner

verified publisher icon ollef

Metadata

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

Back