yellowsquid/idris-soat.git/src/Soat/FirstOrder/Algebra, branch refactor/strict
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=refactor%2Fstrict
2022-12-06T16:18:29Z
Add smart constructor for first-order algebras.
2022-12-06T16:18:29Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-06T16:18:29Z
urn:sha1:fcd024cb01e484dc3c92212f4317b254bbd7580b
refactor: rename pwSetoid -> Product.
2022-12-06T13:50:12Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-06T13:50:12Z
urn:sha1:121965c3e550f285d3a428cbb6da10c97bfa9846
refactor: split product setoid into a new module.
2022-12-06T13:41:09Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-06T13:41:09Z
urn:sha1:df7df335a91878448a9f231c0af36f57874ccd4e
Migrate to use idris-setoid library.
2022-12-06T13:22:10Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-06T13:22:10Z
urn:sha1:522eb40ab39800f75daa704ae56c18953c4885e7
refactor : rename homomorphism combinators.
2022-12-05T15:55:09Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-05T15:55:09Z
urn:sha1:332f481a61429c031016fd5d43238095d1a22075
- idHomo -> id
- compHomo -> (.)
Inline definition of IsHomomorphism.
2022-12-05T15:48:09Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-05T15:48:09Z
urn:sha1:2301a52aaad73e2f70aba46682ec69686f35aa6c
refactor: rename Homomorphism -> (~>).
2022-12-05T15:17:32Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-05T15:17:32Z
urn:sha1:8e103a340a6c7d2751c0297ad4f01cd5c5a7da47
Move IsAlgebra relation from type to body.
2022-12-05T15:00:39Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-05T15:00:39Z
urn:sha1:580970d11a4e754c0c8e6f42c8312bffb1edc2db
refactor: rename RawAlgebraWithRelation.
2022-12-05T14:47:03Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-05T14:47:03Z
urn:sha1:242197f40bb7957625be1e5f0bfd325af6e06be4
- RawAlgebraWithRelation -> RawSetoidAlgebra
- MkRawAlgebraWithRelation -> MkRawSetoidAlgebra
- rawWithRelation -> rawSetoid
refactor: rename MakeRawAlgebra -> MkRawAlgebra.
2022-12-05T14:43:50Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-05T14:43:50Z
urn:sha1:f77aeb6c4b25b381e897a4ab59c1008e34005404