yellowsquid/helium.git/src/Helium/Data/Pseudocode/Algebra, branch master [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=master 2022-04-09T15:49:49Z A proof of the simplest form of Barrett reduction. 2022-04-09T15:49:49Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-09T15:49:49Z urn:sha1:24845ef25e12864711552ebc75a1f54903bee50c Add some more algebraic properties. 2022-04-09T15:24:18Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-09T15:24:18Z urn:sha1:c6aee22d68aa614619cecc08a15332294a9de0de Minor clean up. 2022-04-05T11:06:33Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-05T11:06:33Z urn:sha1:b212c150ec0a9bf45cf6c28fba997693669e78d2 Add some more ordered division ring properties. 2022-04-04T14:51:22Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-04T14:51:22Z urn:sha1:6acd0e87fa8ab2a3230626b37f1cd02181810a1a Add more properties for ordered structures. 2022-04-02T10:59:21Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-02T10:41:51Z urn:sha1:2167866c53aa7f9cbb52e776bfb64f53acf3fa2c Add some properties of algebraic pseudocode types. 2022-03-21T16:37:12Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-21T16:37:12Z urn:sha1:5202560ea008a76048587f6ab63797f7517fbdc0