Package Agda :: Monadoc

Agda

Uploads

2.7.0.1-2 uploaded 2024-10-27T15:44:00.000Z by AndreasAbel. latest
2.7.0.1-1 uploaded 2024-10-26T09:39:15.000Z by AndreasAbel.
2.7.0.1-0 uploaded 2024-09-12T18:40:16.000Z by AndreasAbel.
2.7.0-0 uploaded 2024-08-16T12:31:53.000Z by AndreasAbel. deprecated
2.6.4.3-1 uploaded 2024-05-19T09:48:06.000Z by AndreasAbel.
2.6.4.3-0 uploaded 2024-03-06T10:35:04.000Z by AndreasAbel.
2.6.4.2-0 uploaded 2024-02-24T09:38:29.000Z by AndreasAbel. deprecated
2.6.4.1-3 uploaded 2024-02-17T19:09:43.000Z by AndreasAbel.
2.6.4.1-2 uploaded 2024-02-08T06:55:53.000Z by AndreasAbel.
2.6.4.1-1 uploaded 2024-02-07T10:34:50.000Z by AndreasAbel.
2.6.4.1-0 uploaded 2023-11-30T18:10:43.000Z by AndreasAbel.
2.6.3-5 uploaded 2023-10-13T05:20:33.000Z by AndreasAbel.
2.6.4-1 uploaded 2023-10-10T08:26:40.000Z by AndreasAbel.
2.6.4-0 uploaded 2023-10-06T12:20:20.000Z by AndreasAbel.
2.6.3-4 uploaded 2023-08-04T19:06:57.000Z by AndreasAbel.
2.6.3-3 uploaded 2023-07-12T17:43:31.000Z by AndreasAbel.
2.6.3-2 uploaded 2023-06-29T10:58:18.000Z by AndreasAbel.
2.6.3-1 uploaded 2023-03-15T23:38:55.000Z by AndreasAbel.
2.6.3-0 uploaded 2023-01-30T11:50:55.000Z by AndresSicardRamirez.
2.6.2.2-2 uploaded 2022-08-15T12:42:05.000Z by AndreasAbel.
2.6.2.2-1 uploaded 2022-06-16T13:21:27.000Z by AndreasAbel.
2.6.2.2-0 uploaded 2022-04-02T18:00:16.000Z by AndreasAbel.
2.6.2.1-4 uploaded 2022-02-03T16:42:30.000Z by AndreasAbel.
2.6.2.1-3 uploaded 2022-02-02T20:05:53.000Z by AndreasAbel.
2.6.2.1-2 uploaded 2022-01-03T12:36:14.000Z by AndreasAbel.
2.6.2.1-1 uploaded 2021-12-27T00:16:58.000Z by AndreasAbel.
2.6.2.1-0 uploaded 2021-12-08T06:39:22.000Z by AndreasAbel.
2.6.2-0 uploaded 2021-06-19T06:17:43.000Z by AndresSicardRamirez.
2.6.1.3-0 uploaded 2021-02-07T15:40:32.000Z by AndresSicardRamirez.
2.6.1.2-0 uploaded 2020-10-29T21:37:40.000Z by AndreasAbel. deprecated
2.6.1.1-0 uploaded 2020-09-08T13:56:00.000Z by UlfNorell. deprecated
2.6.1-0 uploaded 2020-03-16T05:20:34.000Z by AndresSicardRamirez. deprecated
2.6.0.1-0 uploaded 2019-05-17T23:02:35.000Z by AndresSicardRamirez.
2.6.0-0 uploaded 2019-04-12T11:13:26.000Z by AndresSicardRamirez. deprecated
2.5.4.2-0 uploaded 2018-10-29T16:58:47.000Z by AndresSicardRamirez.
2.5.4.1-0 uploaded 2018-07-19T14:10:50.000Z by AndresSicardRamirez. deprecated
2.5.4-0 uploaded 2018-06-02T19:22:15.000Z by AndresSicardRamirez. deprecated
2.5.3-5 uploaded 2018-02-05T16:21:51.000Z by AndresSicardRamirez.
2.5.3-4 uploaded 2018-02-05T14:31:18.000Z by AndresSicardRamirez.
2.5.3-3 uploaded 2018-01-05T16:13:21.000Z by AndresSicardRamirez.
2.5.3-2 uploaded 2017-12-31T07:51:50.000Z by AndresSicardRamirez.
2.5.3-1 uploaded 2017-12-31T06:40:14.000Z by AndresSicardRamirez.
2.5.3-0 uploaded 2017-09-08T22:22:46.000Z by AndresSicardRamirez.
2.5.2-3 uploaded 2017-08-02T00:46:51.000Z by AndresSicardRamirez.
2.5.2-2 uploaded 2017-01-30T14:29:01.000Z by AndresSicardRamirez.
2.5.2-1 uploaded 2016-12-23T19:00:27.000Z by AndresSicardRamirez.
2.5.2-0 uploaded 2016-12-22T12:39:35.000Z by AndresSicardRamirez.
2.4.2.4-1 uploaded 2016-12-01T18:02:34.000Z by HerbertValerioRiedel.
2.5.1.2-0 uploaded 2016-11-25T08:38:24.000Z by UlfNorell.
2.5.1.1-1 uploaded 2016-09-03T21:42:45.000Z by AndresSicardRamirez. deprecated
2.5.1.1-0 uploaded 2016-06-21T14:53:48.000Z by AndresSicardRamirez. deprecated
2.5.1-0 uploaded 2016-04-16T22:40:59.000Z by AndresSicardRamirez. deprecated
2.4.2.5-2 uploaded 2016-03-04T15:52:33.000Z by AndresSicardRamirez.
2.4.2.5-1 uploaded 2016-01-17T01:53:47.000Z by AndresSicardRamirez.
2.4.2.5-0 uploaded 2015-12-18T22:54:29.000Z by AndresSicardRamirez.
2.4.2.4-0 uploaded 2015-09-26T13:44:54.000Z by AndresSicardRamirez.
2.4.2.3-2 uploaded 2015-08-10T15:46:41.000Z by AndresSicardRamirez.
2.4.2.3-1 uploaded 2015-08-02T04:42:00.000Z by AndresSicardRamirez.
2.4.0.2-1 uploaded 2015-07-04T20:12:04.000Z by AdamBergmark.
2.4.2.3-0 uploaded 2015-05-25T16:37:30.000Z by AndresSicardRamirez.
2.4.2.2-1 uploaded 2015-04-02T21:50:27.000Z by AndresSicardRamirez.
2.4.2.2-0 uploaded 2014-11-26T14:04:45.000Z by AndresSicardRamirez.
2.4.2.1-0 uploaded 2014-11-13T23:51:56.000Z by AndresSicardRamirez.
2.4.2-2 uploaded 2014-09-09T17:02:20.000Z by AndreasAbel.
2.4.2-1 uploaded 2014-09-07T14:16:07.000Z by AndreasAbel.
2.4.2-0 uploaded 2014-08-29T07:52:35.000Z by UlfNorell.
2.4.0.2-0 uploaded 2014-07-29T19:30:29.000Z by AndreasAbel.
2.4.0.1-0 uploaded 2014-06-16T11:01:05.000Z by UlfNorell.
2.4.0-0 uploaded 2014-06-05T10:25:12.000Z by UlfNorell.
2.3.2.2-0 uploaded 2013-10-30T16:33:25.000Z by NilsAndersDanielsson.
2.3.2.1-0 uploaded 2013-06-10T14:49:28.000Z by AndresSicardRamirez.
2.3.2-0 uploaded 2012-11-12T01:23:42.000Z by AndreasAbel.
2.3.0.1-0 uploaded 2012-03-12T11:01:30.000Z by UlfNorell.
2.3.0-0 uploaded 2011-11-23T09:11:31.000Z by UlfNorell.
2.2.10-0 uploaded 2011-02-20T17:33:32.000Z by NilsAndersDanielsson.
2.2.8-0 uploaded 2010-09-27T22:09:01.000Z by NilsAndersDanielsson.
2.2.6-0 uploaded 2009-12-23T15:42:38.000Z by NilsAndersDanielsson.
2.2.4-0 uploaded 2009-07-07T20:17:25.000Z by NilsAndersDanielsson.
2.2.2-0 uploaded 2009-04-16T21:53:10.000Z by NilsAndersDanielsson.
2.2.0-0 uploaded 2009-03-17T17:46:13.000Z by NilsAndersDanielsson.

Uploaders