diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:40:44 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:40:44 +0000 |
| commit | bfac93dbe8c98d193feb165a088c6a7c79382d27 (patch) | |
| tree | d45269488c81ac07a27927d0a0cd2856250adfdd /src/Data/Setoid.idr | |
| parent | 57a299ee52f29aa553a9d93c24f4c1e9eee4fa27 (diff) | |
Provide more bundles from algebras.
Diffstat (limited to 'src/Data/Setoid.idr')
0 files changed, 0 insertions, 0 deletions