yellowsquid/unify.git/src/Data/Vect/Quantifiers, branch master
[no description]
http://git.yellowsquid.uk/yellowsquid/unify.git/atom?h=master
2023-07-07T16:36:37Z
Define properties of substitutions.
2023-07-07T16:36:37Z
Greg Brown
greg.brown01@ed.ac.uk
2023-07-07T16:36:37Z
urn:sha1:6b637a6d2954e77985e24bbd17f3697eb6f8238a