CaseStudy

Associated code for a small case study for the paper

Type Safe Interpreters for Free

presented at TFP 2018.

Presentation slides online and tweeted.

stack build
stack exec server

Then open index.html in a browser and splice in some example code.

scale 100 fish

or

scale 500 (beside (above (rot fish) fish) (above (rot (rot fish)) (rot (rot (rot fish)))))