diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 16:10:51 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 16:10:51 +0000 |
| commit | 0b90e50d813a97aa3763e4aa209eaa3561fd401c (patch) | |
| tree | 82b0863d68605e65f514cb4b9faac4656fd34fff /src/Data/Morphism | |
| parent | 77af2f590343987071fc96da38d8fa399e513dc2 (diff) | |
Prove the term algebras form an initial algebra.
Diffstat (limited to 'src/Data/Morphism')
0 files changed, 0 insertions, 0 deletions