Input
Simple Example
Language Grammar
Source
Typecheck
Infer and Elaborate
Subtyping Calculator
Annotations
infer
3e40dd7