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