Release 2017-09-25

Some minor typographical fixes (using cleveref now.) Thanks monochrom for pointing these out.

FINAL

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

Release 2017-05-30

Lots of new examples in the type checking section! I also fixed some minor typographical bugs in the typing rules (which I sussed out while writing the examples.)

Release 2017-05-22

Just a new appendix on recursive linking.

Revision 2017-04-26

Big bundle of revisions:

• Incorporate Derek's copyediting
• Lots of new material in the "Limitations" section (I know, haha), including dedicated discussion of type classes, relaxed signature matching, sealing, and applications beyond Haskell
• The accent on my advisor's name is now correct
• The tour has been copyedited for clarity

Revision 2017-03-02

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

Revision 2017-02-27b

Now with discussion about roles!

Revision 2017-02-27

Typo fixes and rewrites of sections which people were confused about, including an intro rewrite.

Revision 2017-02-23

First Backpack thesis draft release!