yellowsquid/idris-setoid.git, branch maintainence[no description]http://git.yellowsquid.uk/yellowsquid/idris-setoid.git/atom?h=maintainence2022-12-02T14:27:59ZSort 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:bc260cdfa7b309820594b7caf14f62be8343358eTweak output files2022-08-07T17:53:02ZOhad Kammarohad.kammar@ed.ac.uk2022-08-07T17:53:02Zurn:sha1:9907fff3139395846490c54fd9f04eb46df4b811Initial version2022-08-07T17:23:04ZOhad Kammarohad.kammar@ed.ac.uk2022-08-07T17:23:04Zurn:sha1:efd5f75c0672773341b5ca1c1d4b2ad0c0d09daa