diff options
| author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-04-03 14:35:49 +0000 |
|---|---|---|
| committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-04-03 14:35:49 +0000 |
| commit | 279da87f484b6ac77d87b3efe2d69d3a09492a43 (patch) | |
| tree | 169563a6fca8f0911b78ee568d5e9f6a95517607 /src/actors | |
| parent | 4ec9c8abe1b2bb8aff74edaf954453070bef89fd (diff) | |
| download | scala-279da87f484b6ac77d87b3efe2d69d3a09492a43.tar.gz scala-279da87f484b6ac77d87b3efe2d69d3a09492a43.tar.bz2 scala-279da87f484b6ac77d87b3efe2d69d3a09492a43.zip | |
Decided that it did not make sense to express p...
Decided that it did not make sense to express part of the properties of
a PartialOrdering in terms of an equaivalence relation.
Concluded that downward transitivity for Orderings followed from upward
transitivity and the property on Orderings that does not yet have a
name.
Diffstat (limited to 'src/actors')
0 files changed, 0 insertions, 0 deletions