Changeset f63b2bd in report


Ignore:
Timestamp:
Mar 15, 2018 11:21:09 PM (9 months ago)
Author:
GitHub <noreply@…>
Branches:
h2010
Parents:
ea28a8e (diff), 554480a (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
git-author:
Jose Calderon <jmct+git@…> (03/15/18 23:21:09)
git-committer:
GitHub <noreply@…> (03/15/18 23:21:09)
Message:

Merge pull request #4 from staffehn/patch-1

Fix a typo in: Semantics of Case Expressions, Part 3 (s)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • report/exps.verb

    rea28a8e rf63b2bd  
    15771577   &@                   _ -> @$e'$@ } @\ldots\\
    15781578   &@    _ -> @$e'$@ }@\\
    1579    &{\rm where $y$ is a new variable}\\[4pt]
    15801579
    15811580(t)&@case () of { () | @$p$@ <- @$e_0$@ -> @$e$@; _ -> @$e'$@ }@\\
Note: See TracChangeset for help on using the changeset viewer.