https://github.com/bennn/g-pldi-2022
Tip revision: ea53a4414350a4e4e39ceb318ad09ee05780f229 authored by Ben Greenman on 05 April 2022, 04:41:57 UTC
data/README replace backtick with quote
data/README replace backtick with quote
Tip revision: ea53a44
.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