| -rw-r--r-- | .gitignore | 6L |
| -rw-r--r-- | .travis.yml | 38L |
| -rw-r--r-- | LICENSE-more.md | 28L |
| -rw-r--r-- | LICENSE.txt | 116L |
| -rw-r--r-- | README.md | 11L |
| -rw-r--r-- | between.rkt | 7L |
| -rw-r--r-- | caret-identifier.rkt | 11L |
| -rw-r--r-- | implementation.rkt | 481L |
| -rw-r--r-- | infinity-identifier.rkt | 5L |
| -rw-r--r-- | info.rkt | 23L |
| -rw-r--r-- | main.rkt | 5L |
| -rw-r--r-- | once-identifier.rkt | 11L |
| -rw-r--r-- | scribble-enhanced.rkt | 32L |
| -rw-r--r-- | scribblings/identifiers.scrbl | 26L |
| -rw-r--r-- | scribblings/split-xlist.scrbl | 87L |
| -rw-r--r-- | scribblings/xlist-untyped.scrbl | 12L |
| -rw-r--r-- | scribblings/xlist.scrbl | 307L |
| -rw-r--r-- | split-xlist.rkt | 138L |
| -rw-r--r-- | test/test-match-typed.rkt | 175L |
| -rw-r--r-- | test/test-match.rkt | 208L |
| -rw-r--r-- | test/test-split-xlist-ann.rkt | 143L |
| -rw-r--r-- | test/test-split-xlist.rkt | 130L |
| -rw-r--r-- | test/test-type-superscripts.rkt | 173L |
| -rw-r--r-- | test/test-type.rkt | 175L |
| -rw-r--r-- | untyped.rkt | 2L |
