| -rw-r--r-- | .gitignore | 7L |
| -rw-r--r-- | .travis.yml | 61L |
| -rw-r--r-- | IDEA | 2L |
| -rw-r--r-- | LICENSE.txt | 11L |
| -rw-r--r-- | README.md | 22L |
| -rw-r--r-- | info.rkt | 14L |
| -rw-r--r-- | main.rkt | 18L |
| -rw-r--r-- | private/unsafe.rkt | 33L |
| -rw-r--r-- | scribblings/tr-immutable.scrbl | 22L |
| -rw-r--r-- | test/test-vector.rkt | 33L |
| -rw-r--r-- | typed-syntax.rkt | 33L |
| -rw-r--r-- | typed-syntax/typed-pairof-predicate.rkt | 31L |
| -rw-r--r-- | typed-syntax/typed-prefab-declarations.rkt | 35L |
| -rw-r--r-- | typed-syntax/typed-syntax-convert.rkt | 137L |
| -rw-r--r-- | typed-syntax/typed-syntax-convert2.rkt | 334L |
| -rw-r--r-- | typed-syntax/typed-syntax-predicate.rkt | 52L |
