Correctly print the result of cf
Reset multimethod dispatch env with check-ns
Docs for inst and inst-ctor
Fix IMapEntry ancestor typo
Better formatting for misuse of inst
better error
Move find-bounds to type-ctors namespace
Check deftype methods by reusing the infrastructure for checking fn
Use metadata to store original type variable names
We can find corresponding bounds for any type
Better error for TypeFn variance check
Move F subtyping cases near the top
More flexible with datatype ancestors
Replace assert with int-error
changelog
changelog
Fully resolve operators of TApp and App
Fix some typos
Change first/second annotations to handle map entries
Remove debug lines