[commit: ghc] wip/impredicativity: Revamp part of the impredicativity document (6f59156)

[git at git.haskell.org]

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

On branch  : wip/impredicativity
Link       : http://ghc.haskell.org/trac/ghc/changeset/6f59156da0d397c48b3444334731bcd2dde4a799/ghc

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

commit 6f59156da0d397c48b3444334731bcd2dde4a799
Author: Alejandro Serrano <trupill at gmail.com>
Date:   Mon Aug 3 11:45:22 2015 +0200

    Revamp part of the impredicativity document


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

6f59156da0d397c48b3444334731bcd2dde4a799
 docs/types/impredicativity.ltx | 233 ++++++++++++++++++++++++++++-------------
 1 file changed, 158 insertions(+), 75 deletions(-)

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 6f59156da0d397c48b3444334731bcd2dde4a799