yellowsquid/idris-setoid.git/src/Data/Setoid, branch feature/indexed
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-setoid.git/atom?h=feature%2Findexed
2022-12-05T11:30:56Z
Remove import alias.
2022-12-05T11:30:56Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-05T11:28:33Z
urn:sha1:1e404cee8e3f36a5fe657012db8ba94c5666cec2
Define indexed setoids.
2022-12-02T16:15:31Z
Greg Brown
greg.brown01@ed.ac.uk
2022-12-02T16:15:31Z
urn:sha1:aa13e2ec1d82ddb20888b1f60230de9798081bae
Initial version
2022-08-07T17:23:04Z
Ohad Kammar
ohad.kammar@ed.ac.uk
2022-08-07T17:23:04Z
urn:sha1:efd5f75c0672773341b5ca1c1d4b2ad0c0d09daa