yellowsquid/idris-setoid.git/CONTRIBUTORS, branch feature/indexed [no description] http://git.yellowsquid.uk/yellowsquid/idris-setoid.git/atom?h=feature%2Findexed 2022-12-02T14:29:50Z Add self to list of contributors. 2022-12-02T14:29:50Z Greg Brown greg.brown01@ed.ac.uk 2022-12-02T14:29:50Z urn:sha1:df0a37966f2e9d83bcb5a9250c75c441e4ca1536 add contributors 2022-08-07T22:40:51Z Ohad Kammar ohad.kammar@ed.ac.uk 2022-08-07T22:40:51Z urn:sha1:1aa6b6ef854fc428b888be20ce8321317bb3b627