diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:40:03 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:40:03 +0000 |
| commit | 57a299ee52f29aa553a9d93c24f4c1e9eee4fa27 (patch) | |
| tree | 95b673758c571932dd4127dee5bd684f10c2c54e /src/Soat/SecondOrder/Algebra.idr | |
| parent | a34e0b84874ff1c7f348821c65af660d1de3ece0 (diff) | |
Define the trivial indexed setoid.
Diffstat (limited to 'src/Soat/SecondOrder/Algebra.idr')
0 files changed, 0 insertions, 0 deletions