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/divisible.i | |
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/divisible.i')
0 files changed, 0 insertions, 0 deletions