Changeset 554480a in report


Ignore:
Timestamp:
Mar 11, 2018 5:01:04 PM (9 months ago)
Author:
GitHub <noreply@…>
Branches:
h2010
Children:
f63b2bd
Parents:
ea28a8e
git-author:
Frank Steffahn <fdsteffahn@…> (03/11/18 17:01:04)
git-committer:
GitHub <noreply@…> (03/11/18 17:01:04)
Message:

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

This seems like it is an artifact of copy-and-pasting from “Semantics of Case Expressions, Part 1 ©” without properly adapting the thing, especially in commit bc945544be1487449ff4f7c298dfe925bf39a86e.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • report/exps.verb

    rea28a8e r554480a  
    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.