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 /soat.ipkg | |
| parent | 77af2f590343987071fc96da38d8fa399e513dc2 (diff) | |
Prove the term algebras form an initial algebra.
Diffstat (limited to 'soat.ipkg')
| -rw-r--r-- | soat.ipkg | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -9,5 +9,6 @@ modules = Soat.Data.Product , Soat.FirstOrder.Term , Soat.Relation , Soat.SecondOrder.Algebra + , Soat.SecondOrder.Algebra.Lift , Soat.SecondOrder.Signature , Soat.SecondOrder.Signature.Lift |