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

[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/4f0fa8456590b6ace7c72ae032e96aa86262ef8d/ghc

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

commit 4f0fa8456590b6ace7c72ae032e96aa86262ef8d
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...)


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

4f0fa8456590b6ace7c72ae032e96aa86262ef8d
 docs/nested-cpr/nested-cpr.tex |  276 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 276 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 4f0fa8456590b6ace7c72ae032e96aa86262ef8d