From 833d626d67c70d40c78c763cbcf1e57985edd9f9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 26 Nov 2014 07:32:02 -0600 Subject: [PATCH] mention the paper that this model comes from --- .../redex-examples/redex/examples/delim-cont/README.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/README.txt b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/README.txt index 1e33c27010..cf44a9f695 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/README.txt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/README.txt @@ -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: ---------------------------------