Context Navigation

r68a7028	r4fa7096
1322	1322	The type @week@ is the sum of @weekday@ and @weekend@, \ie @week@ has all the enumerators from the set @weekday@ and @weekend@.
1323	1323	The 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:
	1324	The wrapper is unwrapped with pattern matching.
1325	1325	\begin{cquote}
1326	1326	\begin{tabular}{@{}ll@{}}

Note: See TracChangeset for help on using the changeset viewer.

Changeset 4fa7096 for doc/theses/jiada_liang_MMath