yellowsquid/idris-setoid.git/doc, branch feature/reindex
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-setoid.git/atom?h=feature%2Freindex
2022-08-08T16:29:03Z
Snapshot, will continue later
2022-08-08T16:29:03Z
Ohad Kammar
ohad.kammar@ed.ac.uk
2022-08-08T16:29:03Z
urn:sha1:63e894b39a82e5a8b1edd06f1e03e6bfc5aa8c81
Snapshot
2022-08-08T08:48:04Z
Ohad Kammar
ohad.kammar@ed.ac.uk
2022-08-08T08:48:04Z
urn:sha1:4032974f05f80cbab61a26f4b30ce57ec2e43b3b
Write about equivalence relations
2022-08-07T22:35:19Z
Ohad Kammar
ohad.kammar@ed.ac.uk
2022-08-07T22:35:19Z
urn:sha1:85b191cd3134102c7205c1771806ee16f73b3a89
Switch to HTML only
2022-08-07T18:08:32Z
Ohad Kammar
ohad.kammar@ed.ac.uk
2022-08-07T18:08:32Z
urn:sha1:bc260cdfa7b309820594b7caf14f62be8343358e
Tweak output files
2022-08-07T17:53:02Z
Ohad Kammar
ohad.kammar@ed.ac.uk
2022-08-07T17:53:02Z
urn:sha1:9907fff3139395846490c54fd9f04eb46df4b811
Initial version
2022-08-07T17:23:04Z
Ohad Kammar
ohad.kammar@ed.ac.uk
2022-08-07T17:23:04Z
urn:sha1:efd5f75c0672773341b5ca1c1d4b2ad0c0d09daa