[commit: ghc] master: Added operational semantics to docs/core-spec. (0a3663b)

[Richard Eisenberg]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/0a3663b19d55c46a3b90d35abb1048fb3198e3f6

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

commit 0a3663b19d55c46a3b90d35abb1048fb3198e3f6
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Jul 8 11:41:25 2013 +0100

    Added operational semantics to docs/core-spec.

 docs/core-spec/CoreSyn.ott   |   67 +++++++++++++++++++++++------
 docs/core-spec/Makefile      |    2 +-
 docs/core-spec/OpSem.ott     |   97 ++++++++++++++++++++++++++++++++++++++++++
 docs/core-spec/core-spec.mng |   77 +++++++++++++++++++++++++++++++--
 docs/core-spec/core-spec.pdf |  Bin 334136 -> 347921 bytes
 5 files changed, 226 insertions(+), 17 deletions(-)


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

    git show 0a3663b19d55c46a3b90d35abb1048fb3198e3f6