Commit b7eb4a0

authored

Merge pull request #102 from Gankro/subtyping2

Subtyping rewrite

2 parents b1f40cf + a805a66 commit b7eb4a0Copy full SHA for b7eb4a0

1 file changed

+340

-169

lines changed

src
- subtyping.md

1 file changed

+340

-169

lines changed

Comments

(0)