| -rw-r--r-- | .gitignore | 6L |
| -rw-r--r-- | .gitmodules | 0B |
| -rw-r--r-- | .travis.yml | 79L |
| -rw-r--r-- | LICENSE | 27L |
| -rw-r--r-- | README.md | 66L |
| -rw-r--r-- | base.rkt | 11L |
| -rw-r--r-- | base/lang/reader.rkt | 2L |
| -rw-r--r-- | contracts-to-types.rkt | 110L |
| -rw-r--r-- | dbg.rkt | 8L |
| -rw-r--r-- | expander.rkt | 11L |
| -rw-r--r-- | identifiers.rkt | 58L |
| -rw-r--r-- | info.rkt | 26L |
| -rw-r--r-- | lang.rkt | 3L |
| -rw-r--r-- | lang/lang/reader.rkt | 3L |
| -rw-r--r-- | lang/main.rkt | 11L |
| -rw-r--r-- | lang/reader.rkt | 2L |
| -rw-r--r-- | licenses/bsd.txt | 19L |
| -rw-r--r-- | licenses/lgpl-3.0--license.txt | 165L |
| -rw-r--r-- | main.rkt | 7L |
| -rw-r--r-- | more-expanders.hl.rkt | 262L |
| -rw-r--r-- | parameterize-lexical-context.rkt | 146L |
| -rw-r--r-- | scribblings/contracts-to-types.scrbl | 43L |
| -rw-r--r-- | scribblings/deprecated-colon.scrbl | 23L |
| -rw-r--r-- | scribblings/type-expander-implementation.scrbl | 12L |
| -rw-r--r-- | scribblings/type-expander.scrbl | 855L |
| -rw-r--r-- | test/base-lang-test-1.rkt | 5L |
| -rw-r--r-- | test/base-lang-test-2.rkt | 7L |
| -rw-r--r-- | test/base-lang-test-3.rkt | 5L |
| -rw-r--r-- | test/lang-test-1.rkt | 5L |
| -rw-r--r-- | test/lang-test-2.rkt | 7L |
| -rw-r--r-- | test/lang-test-3.rkt | 5L |
| -rw-r--r-- | test/readme.rkt | 20L |
| -rw-r--r-- | test/test-contracts-to-types.rkt | 65L |
| -rw-r--r-- | test/type-expander-test.rkt | 749L |
| -rw-r--r-- | type-expander.hl.rkt | 1998L |
| -rw-r--r-- | utils.rkt | 13L |
