Exact and bounded binder annotations: x: T fixes the type, x <: T bounds it - #62

Exact and bounded binder annotations: x: T fixes the type, x <: T bounds it#62

dpmills merged 4 commits into

maincambra-dev/cambra:mainfrom

dmills/subtype-annotationscambra-dev/cambra:dmills/subtype-annotationsCopy head branch name to clipboard