diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-05 15:48:09 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-05 15:48:09 +0000 |
| commit | 2301a52aaad73e2f70aba46682ec69686f35aa6c (patch) | |
| tree | 8cd61f69f4e249a5a7306e11520affe84a961599 /src/Data/Setoid/Indexed.idr | |
| parent | 8e103a340a6c7d2751c0297ad4f01cd5c5a7da47 (diff) | |
Inline definition of IsHomomorphism.
Diffstat (limited to 'src/Data/Setoid/Indexed.idr')
0 files changed, 0 insertions, 0 deletions