diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-22 18:58:04 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-22 18:58:04 +0000 |
| commit | f3cccf433a41e51bdabaa2a98ace24181ea26ad1 (patch) | |
| tree | 2f142855b569b43473f43ad05f2fbb59aab46c50 /src/Soat/FirstOrder/Term.idr | |
| parent | e2fb54766737243020b7c90ab83b6c690972549d (diff) | |
Define second-order algebras.
Diffstat (limited to 'src/Soat/FirstOrder/Term.idr')
0 files changed, 0 insertions, 0 deletions