diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-05 15:55:09 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-05 15:55:09 +0000 |
| commit | 332f481a61429c031016fd5d43238095d1a22075 (patch) | |
| tree | 7946554f7bbfe498674b2f5e7fcf456c8162fb0c /src/Syntax/PreorderReasoning/Setoid.idr | |
| parent | 1f378ce7d61e16a3dc805ce63f87b5b8202f3f8e (diff) | |
refactor : rename homomorphism combinators.
- idHomo -> id
- compHomo -> (.)
Diffstat (limited to 'src/Syntax/PreorderReasoning/Setoid.idr')
0 files changed, 0 insertions, 0 deletions