yellowsquid/idris-setoid.git, branch feature/indexed[no description]http://git.yellowsquid.uk/yellowsquid/idris-setoid.git/atom?h=feature%2Findexed2022-12-05T11:30:56ZRemove import alias.2022-12-05T11:30:56ZGreg Browngreg.brown01@ed.ac.uk2022-12-05T11:28:33Zurn:sha1:1e404cee8e3f36a5fe657012db8ba94c5666cec2Define indexed setoids.2022-12-02T16:15:31ZGreg Browngreg.brown01@ed.ac.uk2022-12-02T16:15:31Zurn:sha1:aa13e2ec1d82ddb20888b1f60230de9798081baeAdd self to list of contributors.2022-12-02T14:29:50ZGreg Browngreg.brown01@ed.ac.uk2022-12-02T14:29:50Zurn:sha1:df0a37966f2e9d83bcb5a9250c75c441e4ca1536Sort list of modules.2022-12-02T14:27:59ZGreg Browngreg.brown01@ed.ac.uk2022-12-02T14:27:59Zurn:sha1:6b8433d9ede97391d58d721c2ccc0b6cf45f6d79
This makes it easier for automation to check each committed module is
included in the package manifest.
Remove empty file.2022-12-02T14:21:44ZGreg Browngreg.brown01@ed.ac.uk2022-12-02T14:21:44Zurn:sha1:7d03baa99ad4f4eee0c53362ce08dcc7180af7e3
This file isn't referenced by any other file and is empty.
Snapshot, will continue later2022-08-08T16:29:03ZOhad Kammarohad.kammar@ed.ac.uk2022-08-08T16:29:03Zurn:sha1:63e894b39a82e5a8b1edd06f1e03e6bfc5aa8c81Snapshot2022-08-08T08:48:04ZOhad Kammarohad.kammar@ed.ac.uk2022-08-08T08:48:04Zurn:sha1:4032974f05f80cbab61a26f4b30ce57ec2e43b3badd contributors2022-08-07T22:40:51ZOhad Kammarohad.kammar@ed.ac.uk2022-08-07T22:40:51Zurn:sha1:1aa6b6ef854fc428b888be20ce8321317bb3b627Write about equivalence relations2022-08-07T22:35:19ZOhad Kammarohad.kammar@ed.ac.uk2022-08-07T22:35:19Zurn:sha1:85b191cd3134102c7205c1771806ee16f73b3a89Switch to HTML only2022-08-07T18:08:32ZOhad Kammarohad.kammar@ed.ac.uk2022-08-07T18:08:32Zurn:sha1:bc260cdfa7b309820594b7caf14f62be8343358e