| -rw-r--r-- | .gitignore | 9L |
| -rw-r--r-- | .travis.yml | 51L |
| -rw-r--r-- | LICENSE-more.md | 28L |
| -rw-r--r-- | LICENSE.txt | 116L |
| -rw-r--r-- | README.md | 137L |
| -rw-r--r-- | phc-adt-doc/info.rkt | 25L |
| -rw-r--r-- | phc-adt-doc/phc-adt/.gitignore | 1L |
| -rw-r--r-- | phc-adt-doc/phc-adt/info.rkt | 4L |
| -rw-r--r-- | phc-adt-doc/phc-adt/scribblings/phc-adt-choices.scrbl | 124L |
| -rw-r--r-- | phc-adt-doc/phc-adt/scribblings/phc-adt-constructor.scrbl | 311L |
| -rw-r--r-- | phc-adt-doc/phc-adt/scribblings/phc-adt-implementation.scrbl | 21L |
| -rw-r--r-- | phc-adt-doc/phc-adt/scribblings/phc-adt-structure.scrbl | 190L |
| -rw-r--r-- | phc-adt-doc/phc-adt/scribblings/phc-adt-tagged.scrbl | 327L |
| -rw-r--r-- | phc-adt-doc/phc-adt/scribblings/phc-adt-variant.scrbl | 142L |
| -rw-r--r-- | phc-adt-doc/phc-adt/scribblings/phc-adt.scrbl | 87L |
| -rw-r--r-- | phc-adt-lib/info.rkt | 25L |
| -rw-r--r-- | phc-adt-lib/phc-adt/adt-init.rkt | 51L |
| -rw-r--r-- | phc-adt-lib/phc-adt/adt-second-step.rkt | 3L |
| -rw-r--r-- | phc-adt-lib/phc-adt/adt.hl.rkt | 253L |
| -rw-r--r-- | phc-adt-lib/phc-adt/check-no-overlap.rkt | 24L |
| -rw-r--r-- | phc-adt-lib/phc-adt/constructor.hl.rkt | 673L |
| -rw-r--r-- | phc-adt-lib/phc-adt/ctx.hl.rkt | 137L |
| -rw-r--r-- | phc-adt-lib/phc-adt/declarations.rkt | 14L |
| -rw-r--r-- | phc-adt-lib/phc-adt/main.rkt | 3L |
| -rw-r--r-- | phc-adt-lib/phc-adt/node-low-level.hl.rkt | 413L |
| -rw-r--r-- | phc-adt-lib/phc-adt/structure.hl.rkt | 124L |
| -rw-r--r-- | phc-adt-lib/phc-adt/tagged-structure-low-level.hl.rkt | 1790L |
| -rw-r--r-- | phc-adt-lib/phc-adt/tagged-supertype.hl.rkt | 153L |
| -rw-r--r-- | phc-adt-lib/phc-adt/tagged.hl.rkt | 718L |
| -rw-r--r-- | phc-adt-lib/phc-adt/variant.hl.rkt | 147L |
| -rw-r--r-- | phc-adt-test/info.rkt | 14L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/adt-pre-declarations.rkt | 54L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/ck.rkt | 49L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/mailing-list-example/adt-pre-declarations.rkt | 5L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/mailing-list-example/example.rkt | 53L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/node-low-level-quick-test.rkt | 31L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/row-polymorphism/adt-pre-declarations.rkt | 24L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/row-polymorphism/test-merge.rkt | 40L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/row-polymorphism/test-split.rkt | 25L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/row-polymorphism/test-with-plus.rkt | 62L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/row-polymorphism/test-with-update-only.rkt | 65L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/row-polymorphism/test-with.rkt | 61L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-adt-init-error.rkt | 18L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-adt-init-no-error.rkt | 11L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-adt-structure-wrapped.rkt | 18L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-adt.rkt | 22L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-constructor.rkt | 126L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-constructor2.rkt | 33L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-constructor3.rkt | 69L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-define-adt.rkt | 195L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-empty.rkt | 104L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-structure-low-level.rkt | 104L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-structure-other.rkt | 10L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-structure-parametric.rkt | 22L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-structure-speed.rkt | 23L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-structure.rkt | 153L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-structure2.rkt | 150L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-tagged-call-syntax.rkt | 110L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-tagged-define.rkt | 67L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-tagged-parametric.rkt | 21L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-tagged.rkt | 20L |
| -rw-r--r-- | phc-adt-test/phc-adt/test/test-variant.rkt | 21L |
| -rw-r--r-- | phc-adt/info.rkt | 12L |
