History of proj-oot-ootTypes

2014-10-30
22:15 UTC Revision 1 . . . . BayleShanks== Oot type design todos == * how does our extensible type system work? ==== toreads for this ==== * chapter 1 of Principles of Program Analysis . . .