| -rw-r--r-- | .gitignore | 6L |
| -rw-r--r-- | .travis.yml | 39L |
| -rw-r--r-- | LICENSE-more.md | 24L |
| -rw-r--r-- | LICENSE.txt | 116L |
| -rw-r--r-- | README.md | 13L |
| -rw-r--r-- | dotlambda/implementation.rkt | 225L |
| -rw-r--r-- | dotlambda/info.rkt | 4L |
| -rw-r--r-- | dotlambda/lang/reader.rkt | 2L |
| -rw-r--r-- | dotlambda/literals.rkt | 3L |
| -rw-r--r-- | dotlambda/main.rkt | 48L |
| -rw-r--r-- | dotlambda/private/fold.rkt | 88L |
| -rw-r--r-- | dotlambda/scribblings/dotlambda.scrbl | 99L |
| -rw-r--r-- | dotlambda/scribblings/typed-dotlambda.scrbl | 30L |
| -rw-r--r-- | dotlambda/test/test-dotlambda.rkt | 95L |
| -rw-r--r-- | dotlambda/test/test-hyper-literate-chain.rktl | 6L |
| -rw-r--r-- | dotlambda/test/test-typed-dotlambda.rkt | 108L |
| -rw-r--r-- | dotlambda/test/test-typed-racket-chain.rkt | 5L |
| -rw-r--r-- | dotlambda/test/typed-dotlambda-phase1.rkt | 4L |
| -rw-r--r-- | dotlambda/unhygienic-implementation.rkt | 225L |
| -rw-r--r-- | dotlambda/unhygienic.rkt | 6L |
| -rw-r--r-- | dotlambda/unhygienic/lang/reader.rkt | 2L |
| -rw-r--r-- | info.rkt | 20L |
| -rw-r--r-- | typed/dotlambda.rkt | 132L |
| -rw-r--r-- | typed/dotlambda/lang/reader.rkt | 2L |
| -rw-r--r-- | typed/dotlambda/main.rkt | 8L |
| -rw-r--r-- | typed/info.rkt | 1L |
