diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-16 15:25:02 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-16 15:25:02 +0100 |
| commit | cdcfdcd31ccfee2b2a491713b4527ca87dd586bf (patch) | |
| tree | ede7122da2d42d2c8d95eaa509e94fc269432407 /src/Core/Term.idr | |
| parent | dc9aa0cc59d67690e7eba1543a37c397e751429a (diff) | |
Define term reduction.
Diffstat (limited to 'src/Core/Term.idr')
0 files changed, 0 insertions, 0 deletions