https://github.com/bennn/g-pldi-2022
Tip revision: 51f2da37fb0581f0c29853e2321d0853152c27ef authored by Ben Greenman on 25 April 2022, 16:12:32 UTC
readme: answer 'how to reuse' questions for pldi aec
readme: answer 'how to reuse' questions for pldi aec
Tip revision: 51f2da3
.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