yellowsquid/idris-soat.git/src/Soat/FirstOrder/Algebra, branch feature/free-extension
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=feature%2Ffree-extension
2022-12-07T13:16:03Z
Make more parameters irrelevant.
2022-12-07T13:16:03Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-07T13:16:03Z
urn:sha1:d605b2079d138d36dc1ea0c5254dbe35b41a4f25
refactor: reorder definitions.
2022-12-07T12:13:16Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-07T12:13:16Z
urn:sha1:d0bafca5249e694474d7c8108a949d64c64dcea5
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