yellowsquid/unify.git/src/Data/Vect, branch master [no description] http://git.yellowsquid.uk/yellowsquid/unify.git/atom?h=master 2023-07-25T15:32:51Z Remove SFin. 2023-07-25T15:32:51Z Greg Brown greg.brown01@ed.ac.uk 2023-07-25T15:32:51Z urn:sha1:c305e99c3f0866d2aa4fb0431b06fc398663bd94 Delete unused modules. Restructure some proofs to reduce the number of lemmas. Define properties of substitutions. 2023-07-07T16:36:37Z Greg Brown greg.brown01@ed.ac.uk 2023-07-07T16:36:37Z urn:sha1:6b637a6d2954e77985e24bbd17f3697eb6f8238a Define zippers and prove no cycles exist. 2023-06-30T19:45:33Z Greg Brown greg.brown01@ed.ac.uk 2023-06-30T19:45:33Z urn:sha1:8c529393421843a7ccad041d2f29fa90b46bf6b6