yellowsquid/idris-soat.git/src/Syntax, branch feature/free-extension [no description] http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=feature%2Ffree-extension 2022-12-06T13:22:10Z Migrate to use idris-setoid library. 2022-12-06T13:22:10Z Greg Brown greg.brown01@ed.ac.uk 2022-12-06T13:22:10Z urn:sha1:522eb40ab39800f75daa704ae56c18953c4885e7 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