yellowsquid/idris-setoid.git/CONTRIBUTORS, branch maintainence
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-setoid.git/atom?h=maintainence
2022-08-07T22:40:51Z
add contributors
2022-08-07T22:40:51Z
Ohad Kammar
ohad.kammar@ed.ac.uk
2022-08-07T22:40:51Z
urn:sha1:1aa6b6ef854fc428b888be20ce8321317bb3b627