yellowsquid/idris-soat.git/src/Syntax, branch master
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=master
2022-11-29T14:56:35Z
Add syntax for setoid reasoning.
2022-11-29T14:56:35Z
Greg Brown
greg.brown01@ed.ac.uk
2022-11-29T14:56:35Z
urn:sha1:d51d8381e9c4053f71a597f1a2ae7073eca5b693