| -rw-r--r-- | .github/workflows/ci.yml | 72L |
| -rw-r--r-- | .gitignore | 7L |
| -rw-r--r-- | .travis.yml | 64L |
| -rw-r--r-- | Graph-notes-copy2.vue | 3971L |
| -rw-r--r-- | LICENSE.txt | 11L |
| -rw-r--r-- | README.md | 3L |
| -rw-r--r-- | TODO.txt | 57L |
| -rw-r--r-- | alpha-equivalence-normal-form.rkt | 79L |
| -rw-r--r-- | auto-push-master.sh | 49L |
| -rw-r--r-- | bench001.rkt | 32L |
| -rw-r--r-- | binarytree.hl.rkt | 12L |
| -rw-r--r-- | def.rkt | 58L |
| -rw-r--r-- | dispatch-union.rkt | 52L |
| -rw-r--r-- | dot-lang.rkt | 9L |
| -rw-r--r-- | features-and-implementation | 40L |
| -rw-r--r-- | features-and-implementation2 | 142L |
| -rw-r--r-- | features-and-implementation3 | 99L |
| -rw-r--r-- | flexible-with-generalized-ctor-test.rkt | 28L |
| -rw-r--r-- | flexible-with-generalized-ctor.hl.rkt | 246L |
| -rw-r--r-- | flexible-with-utils.hl.rkt | 117L |
| -rw-r--r-- | flexible-with.hl.rkt | 369L |
| -rw-r--r-- | flexible-with2.hl.rkt | 1031L |
| -rw-r--r-- | free-identifier-tree-equal.rkt | 99L |
| -rw-r--r-- | graph-info.hl.rkt | 339L |
| -rw-r--r-- | graph-type.hl.rkt | 141L |
| -rw-r--r-- | graph.hl.rkt | 118L |
| -rw-r--r-- | info.rkt | 36L |
| -rw-r--r-- | invariants-phantom.hl.rkt | 706L |
| -rw-r--r-- | literals.rkt | 12L |
| -rw-r--r-- | main-draft.hl.rkt | 166L |
| -rw-r--r-- | main.rkt | 35L |
| -rw-r--r-- | make-lang-example.rkt | 3L |
| -rw-r--r-- | make-lang-use-example.rkt | 5L |
| -rw-r--r-- | make-lang.rkt | 46L |
| -rw-r--r-- | notations.rkt | 7L |
| -rw-r--r-- | scribblings/collapsed-breakdown.png | 77698B |
| -rw-r--r-- | scribblings/collapsed-updated.png | 62349B |
| -rw-r--r-- | scribblings/collapsed.png | 50456B |
| -rw-r--r-- | scribblings/phc-graph-implementation.scrbl | 21L |
| -rw-r--r-- | scribblings/phc-graph.scrbl | 14L |
| -rw-r--r-- | test/adt-pre-declarations.rkt | 20L |
| -rw-r--r-- | test/assumption-equivalent-types-same-type.rkt | 49L |
| -rw-r--r-- | test/ck.rkt | 21L |
| -rw-r--r-- | test/invariant-phantom-tr-assumptions.rkt | 42L |
| -rw-r--r-- | test/invariant-phantom-tr-assumptions2.rkt | 69L |
| -rw-r--r-- | test/invariant-phantom/simple.rkt | 144L |
| -rw-r--r-- | test/invariant-phantom/util.rkt | 36L |
| -rw-r--r-- | test/speed-many-poly.rkt | 22L |
| -rw-r--r-- | test/speed-many-poly2.rkt | 49L |
| -rw-r--r-- | test/test-flexible-with.rkt | 79L |
| -rw-r--r-- | test/test-flexible-with2.rkt | 57L |
| -rw-r--r-- | test/test-flexible-with2b.rkt | 14L |
| -rw-r--r-- | test/test-graph-low1.rkt | 19L |
| -rw-r--r-- | test/test-graph-type.rkt | 43L |
| -rw-r--r-- | test/test-traversal-1.rkt | 102L |
| -rw-r--r-- | test/test-traversal-2.rkt | 116L |
| -rw-r--r-- | test/traversal-util.rkt | 22L |
| -rw-r--r-- | thoughts.rkt | 124L |
| -rw-r--r-- | times.rkt.txt | 76L |
| -rw-r--r-- | traversal.hl.rkt | 406L |
| -rw-r--r-- | travis-deploy-key-id_rsa.enc | 1680B |
