https://github.com/bennn/g-pldi-2022
Tip revision: 2958c287a31cf74a8caa282985bd1f85b6b4b1dc authored by Ben Greenman on 14 February 2024, 05:57:53 UTC
sneha trip demo slides
sneha trip demo slides
Tip revision: 2958c28
.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