yellowsquid/idris-soat.git/src/Data/Morphism, branch refactor/strict [no description] http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=refactor%2Fstrict 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 Move indexed setoids and functions out of Soat. 2022-11-29T14:36:13Z Greg Brown greg.brown01@ed.ac.uk 2022-11-29T14:36:13Z urn:sha1:b21e69503571272a5f35cf84c731994f3e921a3a