diff options
| author | ajreynol <reynolds@larapc05.epfl.ch> | 2014-04-24 16:47:46 +0200 |
|---|---|---|
| committer | ajreynol <reynolds@larapc05.epfl.ch> | 2014-04-24 16:47:46 +0200 |
| commit | 9a4df62fbb05a09c95877b53053ff2e231ae254c (patch) | |
| tree | bfb1d2c8743670c41ffec6f54b8d4fb1478ca020 /src/util/tuple.h | |
| parent | d132321d74b65b293ffac4bc8c6f0d8db73614d6 (diff) | |
Avoid assigning constructor terms to 1-constructor datatype eqcs, when possible, to ensure termination for codatatypes. Minor changes.
Diffstat (limited to 'src/util/tuple.h')
0 files changed, 0 insertions, 0 deletions