Skip to content

GRACeFUL-project/CaseStudySaint

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

25 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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)))))

About

Case study for a paper about the Type Safe Interpreters library https://github.com/GRACeFUL-project/Saint

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •