yellowsquid/idris-soat.git/src/Data/Setoid, branch master [no description] http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=master 2022-12-02T14:14:44Z WIP: Frex is free 2022-12-02T14:14:44Z Greg Brown greg.brown01@ed.ac.uk 2022-12-02T14:14:44Z urn:sha1:2bd69bf893b7e1ebe4186639526451caf2083b12 Prove Either is a setoid. 2022-11-29T14:58:56Z Greg Brown greg.brown01@ed.ac.uk 2022-11-29T14:58:56Z urn:sha1:933b1cffc6d83dfd89b83ff6dd8f37731c5de1aa Add conversions between indexed setoids. 2022-11-29T14:37:16Z Greg Brown greg.brown01@ed.ac.uk 2022-11-29T14:37:16Z urn:sha1:d6a3893ac4c77accc497b51eb47597744e1a1c84 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