yellowsquid/helium.git/src/Helium/Algebra/Consequences, branch master
[no description]
http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=master
2022-01-07T13:36:42Z
Add some required algebraic types.
2022-01-07T13:36:42Z
Greg Brown
greg.brown@cl.cam.ac.uk
2022-01-07T13:36:42Z
urn:sha1:1f718c9dbe48934edf115aef285c5aeaa2dfb20d