summaryrefslogtreecommitdiff
path: root/src/Soat/SecondOrder
AgeCommit message (Expand)Author
2022-12-06Define helper functions for extend.Greg Brown
2022-12-05refactor: name arguments to long constructors.Greg Brown
2022-12-05refactor : rename homomorphism combinators.Greg Brown
2022-12-05refactor: remove commented code.Greg Brown
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 MakeRawAlgebra -> MkRawAlgebra.Greg Brown
2022-12-05refactor : make Signature.T irrelevant.Greg Brown
2022-11-29Move indexed setoids and functions out of Soat.Greg Brown
2022-11-25Prove the term algebras form an initial algebra.Greg Brown
2022-11-25Make implicit variables accessible for proofs.Greg Brown
2022-11-25refactor: expand flip in most places.Greg Brown
2022-11-25Provide more bundles from algebras.Greg Brown
2022-11-25refactor: rename Homomorphism.f -> func.Greg Brown
2022-11-25refactor: rename Algebra.rel -> relation.Greg Brown
2022-11-25Make proofs relevant.Greg Brown
2022-11-25Remove unnecessary pattern matching.Greg Brown
2022-11-24Define lifting of first-order signatures.Greg Brown
2022-11-22Define second-order algebras.Greg Brown
2022-11-22Define second-order signatures.Greg Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-30 09:08:35 +0000