suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

mention the paper that this model comes from

Browse Source
This commit is contained in:
Robby Findler 2014-11-26 07:32:02 -06:00
parent a12f77f36e
commit 833d626d67
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/README.txt
View File

@ -1,3 +1,6 @@
This model is from the paper _Adding Delimited and Composable Control
to a Production Programming Environment_ from ICFP 2007.
To run the tests using the model: To run the tests using the model:
--------------------------------- ---------------------------------