yellowsquid/idris-soat.git/src/Soat/SecondOrder/Signature, branch refactor/setoids
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=refactor%2Fsetoids
2022-11-24T14:13:43Z
Define lifting of first-order signatures.
2022-11-24T14:13:43Z
Greg Brown
greg.brown01@ed.ac.uk
2022-11-24T14:13:43Z
urn:sha1:00fcc3517b7f680d31028abe83664a96305101b6