README.md (542B)
1 extension hierarchy 2 3 A file extends its immediate parent file. 4 5 - stlc.rkt 6 - stlc+lit.rkt 7 - ext-stlc.rkt 8 - stlc+tup.rkt 9 - stlc+reco+var.rkt 10 - stlc+cons.rkt 11 - stlc+box.rkt 12 - exist.rkt (and type=? from stlc+rec-iso) 13 - stlc+rec-iso.rkt (and variants from stlc+reco+var) 14 - stlc+sub.rkt 15 - stlc+reco+sub.rkt (also pull in tup from stlc+reco+var.rkt) 16 - sysf.rkt 17 - fsub.rkt (also stlc+reco+sub) 18 - fomega.rkt 19 - fomega3.rkt 20 - fomega2.rkt