diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2026-01-17 18:28:35 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2026-01-17 18:28:35 -0500 |
| commit | 1c5caa656d9eb4bd851df946854fbd2bf5dbf3b1 (patch) | |
| tree | 65790fa223fd8edd974c383021cb295c9b34d80c /test/corecursive_func.tm | |
| parent | e5c597628e5fb03bff3a030d6f8c5d1ce58cad96 (diff) | |
Simplifying rules for exp/logconstructive-reals
Diffstat (limited to 'test/corecursive_func.tm')
0 files changed, 0 insertions, 0 deletions