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
Makefile
init:
git submodule update --init code/gtp-measure/ code/gtp-plot/ code/gtp-util/ code/require-typed-check/ code/typed-racket/
install:
# Ignore an expected error in typed-racket-more/typed/images/compile-time.rkt
- cd code/typed-racket; raco pkg update --link ./source-syntax/ ./typed-racket-compatibility/ ./typed-racket-doc/ ./typed-racket-lib/ ./typed-racket-more/ ./typed-racket/
cd code; raco pkg install --auto ./gtp-measure ./gtp-plot ./gtp-util ./require-typed-check
raco pkg install --auto ./g-pldi-2022
pdf:
cd g-pldi-2022 && \
raco scribble --latex ++style texstyle.tex ++extra def.tex paper.scrbl && \
pdflatex paper && \
bibtex paper && \
pdflatex paper && \
pdflatex paper