yellowsquid/idris-soat.git/src/Soat, branch feature/free-extension
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=feature%2Ffree-extension
2022-12-07T13:51:26Z
refactor: move initial algebra to new module.
2022-12-07T13:51:26Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-07T13:51:26Z
urn:sha1:46371da9060ffea1ad48024e4447fb6b20f39d68
Make more parameters irrelevant.
2022-12-07T13:16:03Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-07T13:16:03Z
urn:sha1:d605b2079d138d36dc1ea0c5254dbe35b41a4f25
Lift index of varFunc.
2022-12-07T12:32:59Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-07T12:32:59Z
urn:sha1:3107ee7777b0709997975e28d9ef2a46bca8ca47
refactor: reorder definitions.
2022-12-07T12:13:16Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-07T12:13:16Z
urn:sha1:d0bafca5249e694474d7c8108a949d64c64dcea5
refactor: reorder definitions.
2022-12-07T11:40:30Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-07T11:40:30Z
urn:sha1:2a1507c44f138e975934e77a4c3ff6b0c79decf6
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