Update to 0.15
This update has been submitted for testing by petersen.
This update has been pushed to testing.
This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes
works
This update has been obsoleted by Agda-stdlib-0.15-4.fc28.
Please login to add feedback.
Confirm request to re-trigger tests.
This update has been submitted for testing by petersen.
This update has been pushed to testing.
This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes
works
This update has been obsoleted by Agda-stdlib-0.15-4.fc28.