Skip to content

Revision 2017-03-02
Compare
Choose a tag to compare
@ezyang ezyang released this 03 Mar 04:34
· 28 commits to master since this release
rev20170302
9b8b067

Increased rigor in the typechecking section, now with some basic metatheory about subtyping and merging, and some fixes.

Assets 3
Loading