.gitmodules
[submodule "code/typed-racket"]
path = code/typed-racket
url = https://github.com/bennn/typed-racket
branch = pldi-deep-shallow
[submodule "code/require-typed-check"]
path = code/require-typed-check
url = https://github.com/bennn/require-typed-check
branch = pldi-deep-shallow
[submodule "code/gtp-measure"]
path = code/gtp-measure
url = https://github.com/bennn/gtp-measure
branch = pldi-deep-shallow
[submodule "code/gtp-util"]
path = code/gtp-util
url = https://github.com/bennn/gtp-util
branch = pldi-deep-shallow
[submodule "code/gtp-plot"]
path = code/gtp-plot
url = https://github.com/bennn/gtp-plot
branch = pldi-deep-shallow