There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Playing around with Racket/Turnstile-based implementations of the languages described in Practical Foundations for Programming Languages. See http://www.ccs.neu.edu/home/stchang/popl2017/ for a description of the Turnstile metalanguage.
