Skip to content

gok99/s4s

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

(Most of) Source §4 extended to support delimited continuations (shift/reset or prompt/control) and effect handlers (deep or shallow), implemented as a strict extension to the CSE explicit-control evaluator. Details can be found here.

Run

git clone https://github.com/gok99/s4s.git
cd s4s
opam install menhir dune
dune exec bin/main.exe [typed] <s4s Program>

About

Source §4 with Delimited Control & Effect Handlers

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published