https://agda.readthedocs.io/en/latest/ 2026-05-28T09:34:51.993894+00:00 https://agda.readthedocs.io/en/stable/ 2026-04-17T15:17:36.177887+00:00 https://agda.readthedocs.io/en/v2.8.0-r3/ 2026-04-17T15:17:36.218138+00:00 https://agda.readthedocs.io/en/v2.8.0/ 2025-07-05T18:34:26.950060+00:00 https://agda.readthedocs.io/en/v2.7.0.1/ 2024-09-12T17:33:41.584794+00:00 https://agda.readthedocs.io/en/v2.7.0/ 2024-08-16T12:23:56.563620+00:00 https://agda.readthedocs.io/en/v2.6.4.3-r2/ 2026-01-30T15:56:15.129830+00:00 https://agda.readthedocs.io/en/v2.6.4.3/ 2024-03-06T10:32:01.989854+00:00 https://agda.readthedocs.io/en/v2.6.4.2/ 2024-02-24T11:31:40.955415+00:00 https://agda.readthedocs.io/en/v2.6.4.1/ 2023-11-30T18:11:38.581108+00:00 https://agda.readthedocs.io/en/v2.6.4/ 2023-10-06T12:49:06.648971+00:00 https://agda.readthedocs.io/en/v2.6.3.1/ 2026-01-30T20:16:18.436506+00:00 https://agda.readthedocs.io/en/v2.6.3/ 2023-01-30T11:53:25.627691+00:00 https://agda.readthedocs.io/en/v2.6.2.2/ 2024-07-14T15:18:08.103989+00:00 https://agda.readthedocs.io/en/v2.6.2.1/ 2021-12-08T07:12:58.345952+00:00 https://agda.readthedocs.io/en/v2.6.2/ 2021-06-19T06:27:15.732687+00:00 https://agda.readthedocs.io/en/v2.6.1.3/ 2021-02-07T15:43:48.733572+00:00 https://agda.readthedocs.io/en/v2.6.1.2/ 2021-02-03T16:16:31.160659+00:00 https://agda.readthedocs.io/en/v2.6.1.1/ 2020-09-16T16:21:49.335167+00:00 https://agda.readthedocs.io/en/v2.6.1/ 2020-03-16T05:26:49.479918+00:00 https://agda.readthedocs.io/en/v2.6.0.1/ 2019-12-30T22:18:57.432980+00:00 https://agda.readthedocs.io/en/v2.6.0/ 2019-04-12T11:40:20.480889+00:00 https://agda.readthedocs.io/en/v2.5.4.2/ 2018-10-29T20:30:25.054737+00:00 https://agda.readthedocs.io/en/v2.5.4.1/ 2018-07-19T14:39:35.930774+00:00 https://agda.readthedocs.io/en/v2.5.4/ 2018-06-02T19:35:16.103239+00:00 https://agda.readthedocs.io/en/v2.5.3/ 2017-09-08T22:39:05.976030+00:00 https://agda.readthedocs.io/en/v2.5.2/ 2017-09-07T14:23:59.253468+00:00 https://agda.readthedocs.io/en/nightly/ 2024-08-16T12:45:44.597708+00:00