yellowsquid/idris-soat.git/src/Soat/FirstOrder, 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
Cast algebraic structure as setoid homomorphisms.
2022-12-06T15:33:27Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-06T15:33:27Z
urn:sha1:83c85bf396949287365a694a89e0f49a58cab5a2
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
refactor: rename Soat.Data -> Data.
2022-12-06T13:33:06Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-06T13:33:06Z
urn:sha1:1e64c562ad58d0fb264a11f11bc32b9311e728c4
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