Jakob Demler
Results
1
repositories owned by
Jakob Demler
BidirectionalTypechecking
108
Stars
8
Forks
Watchers
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
