summaryrefslogtreecommitdiff
path: root/src/Soat/FirstOrder/Algebra
AgeCommit message (Collapse)Author
2022-12-07Make more parameters irrelevant.Greg Brown
2022-12-07refactor: reorder definitions.Greg Brown
2022-12-06Add smart constructor for first-order algebras.refactor/strictGreg Brown
2022-12-06refactor: rename pwSetoid -> Product.Greg Brown
2022-12-06refactor: split product setoid into a new module.Greg Brown
2022-12-06Migrate to use idris-setoid library.Greg Brown
2022-12-05refactor : rename homomorphism combinators.Greg Brown
- idHomo -> id - compHomo -> (.)
2022-12-05Inline definition of IsHomomorphism.Greg Brown
2022-12-05refactor: rename Homomorphism -> (~>).Greg Brown
2022-12-05Move IsAlgebra relation from type to body.Greg Brown
2022-12-05refactor: rename RawAlgebraWithRelation.Greg Brown
- RawAlgebraWithRelation -> RawSetoidAlgebra - MkRawAlgebraWithRelation -> MkRawSetoidAlgebra - rawWithRelation -> rawSetoid
2022-12-05refactor: rename MakeRawAlgebra -> MkRawAlgebra.Greg Brown
2022-11-29Construct first-order algebraic coproducts.Greg Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-30 23:25:52 +0000