yellowsquid/idris-soat.git/src/Soat/FirstOrder/Algebra, branch master
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=master
2022-12-02T14:14:44Z
WIP: Frex is free
2022-12-02T14:14:44Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-02T14:14:44Z
urn:sha1:2bd69bf893b7e1ebe4186639526451caf2083b12
Construct first-order algebraic coproducts.
2022-11-29T15:00:22Z
Greg Brown
greg.brown01@ed.ac.uk
2022-11-29T15:00:22Z
urn:sha1:45e9bbec72bf338306d446012f077e195439aed0