Changeset 4fa7096


Ignore:
Timestamp:
Sep 15, 2024, 2:36:14 PM (4 weeks ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
175a750e
Parents:
68a7028
Message:

small changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/theses/jiada_liang_MMath/relatedwork.tex

    r68a7028 r4fa7096  
    13221322The type @week@ is the sum of @weekday@ and @weekend@, \ie @week@ has all the enumerators from the set @weekday@ and @weekend@.
    13231323The sum type construction resembles containment inheritance from non-functional programming discipline, with the sum type being a wrapper class that contains one of its parent types.
    1324 The wrapper is unwrapped with pattern matching:
     1324The wrapper is unwrapped with pattern matching.
    13251325\begin{cquote}
    13261326\begin{tabular}{@{}ll@{}}
Note: See TracChangeset for help on using the changeset viewer.