| Mode | Name | Size |
| -rw-r--r-- | .gitignore | 6L |
| -rw-r--r-- | .travis.yml | 37L |
| -rw-r--r-- | LICENSE-more.md | 24L |
| -rw-r--r-- | LICENSE.txt | 116L |
| -rw-r--r-- | README.md | 11L |
| -rw-r--r-- | info.rkt | 13L |
| -rw-r--r-- | main.rkt | 174L |
| -rw-r--r-- | scribblings/typed-worklist.scrbl | 131L |
| -rw-r--r-- | test/test-experiment.rkt | 45L |
