[commit: ghc] wip/nested-cpr: Work in progress: nested-cpr.tex (2e1fd86)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/nested-cpr
Link       : http://ghc.haskell.org/trac/ghc/changeset/2e1fd86e1188d14956353b544b23028316ead1d1/ghc

>---------------------------------------------------------------

commit 2e1fd86e1188d14956353b544b23028316ead1d1
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Tue Jan 21 10:27:13 2014 +0000

    Work in progress: nested-cpr.tex
    
    A formal description of the nested CPR property (but the usefulness of
    such is limited, it seems...)


>---------------------------------------------------------------

2e1fd86e1188d14956353b544b23028316ead1d1
 docs/nested-cpr/nested-cpr.tex |  236 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 236 insertions(+)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 2e1fd86e1188d14956353b544b23028316ead1d1