Package idris :: Monadoc

idris

Uploads

1.3.4-0 uploaded 2021-10-22T22:58:30.000Z by niklasl. latest
1.3.3-0 uploaded 2020-05-23T22:55:47.000Z by niklasl.
1.3.2-0 uploaded 2019-07-22T11:10:49.000Z by EdwinBrady.
1.3.1-0 uploaded 2018-10-23T09:56:55.000Z by EdwinBrady.
1.3.0-0 uploaded 2018-05-26T16:57:44.000Z by EdwinBrady.
1.2.0-0 uploaded 2018-01-07T22:17:18.000Z by EdwinBrady.
1.1.1-0 uploaded 2017-08-05T18:06:13.000Z by EdwinBrady.
1.1.0-0 uploaded 2017-08-01T12:09:32.000Z by EdwinBrady.
1.0-0 uploaded 2017-04-01T08:15:35.000Z by EdwinBrady.
0.99.2-0 uploaded 2017-03-26T15:59:22.000Z by EdwinBrady.
0.99.1-0 uploaded 2017-03-08T12:34:50.000Z by EdwinBrady.
0.99-0 uploaded 2016-12-03T21:38:38.000Z by EdwinBrady.
0.12.3-0 uploaded 2016-09-18T12:20:16.000Z by EdwinBrady.
0.12.2-0 uploaded 2016-08-04T16:59:54.000Z by EdwinBrady.
0.12.1-0 uploaded 2016-07-26T08:52:31.000Z by EdwinBrady.
0.12-0 uploaded 2016-06-21T08:43:43.000Z by EdwinBrady.
0.11.2-0 uploaded 2016-05-18T11:45:55.000Z by EdwinBrady.
0.11.1-0 uploaded 2016-05-02T12:18:00.000Z by EdwinBrady.
0.11-0 uploaded 2016-03-26T00:08:29.000Z by EdwinBrady.
0.10.3-0 uploaded 2016-03-19T15:10:15.000Z by EdwinBrady.
0.10.2-0 uploaded 2016-02-27T10:38:51.000Z by EdwinBrady.
0.10.1-0 uploaded 2016-02-25T16:05:17.000Z by EdwinBrady.
0.10-0 uploaded 2016-01-20T23:24:42.000Z by EdwinBrady.
0.9.20.2-0 uploaded 2015-12-17T14:10:54.000Z by EdwinBrady.
0.9.20.1-0 uploaded 2015-11-15T16:36:36.000Z by EdwinBrady.
0.9.20-0 uploaded 2015-11-08T12:04:06.000Z by EdwinBrady.
0.9.19.1-0 uploaded 2015-09-22T11:08:14.000Z by EdwinBrady.
0.9.19-0 uploaded 2015-08-31T20:10:32.000Z by EdwinBrady.
0.9.18.1-0 uploaded 2015-05-23T11:51:23.000Z by EdwinBrady.
0.9.18-0 uploaded 2015-05-17T21:58:05.000Z by EdwinBrady.
0.9.17.1-0 uploaded 2015-03-23T20:10:56.000Z by EdwinBrady.
0.9.17-0 uploaded 2015-03-21T14:53:24.000Z by EdwinBrady.
0.9.16-0 uploaded 2015-01-15T10:51:56.000Z by EdwinBrady.
0.9.15.1-0 uploaded 2014-10-27T10:39:24.000Z by EdwinBrady.
0.9.15-0 uploaded 2014-10-26T19:26:02.000Z by EdwinBrady.
0.9.14.3-2 uploaded 2014-10-05T18:28:17.000Z by CarterSchonwald.
0.9.14.3-1 uploaded 2014-09-23T07:46:10.000Z by CarterSchonwald.
0.9.14.3-0 uploaded 2014-09-02T14:20:13.000Z by EdwinBrady.
0.9.14.2-0 uploaded 2014-08-29T09:56:14.000Z by EdwinBrady.
0.9.14.1-0 uploaded 2014-07-30T18:55:20.000Z by EdwinBrady.
0.9.14-0 uploaded 2014-07-16T19:48:35.000Z by EdwinBrady.
0.9.13.1-0 uploaded 2014-06-09T20:00:42.000Z by EdwinBrady.
0.9.13-0 uploaded 2014-06-03T23:56:38.000Z by EdwinBrady.
0.9.12-0 uploaded 2014-04-04T14:33:04.000Z by EdwinBrady.
0.9.11.2-0 uploaded 2014-02-10T10:29:35.000Z by EdwinBrady.
0.9.11.1-0 uploaded 2014-02-04T18:10:13.000Z by EdwinBrady.
0.9.11-0 uploaded 2014-02-04T16:14:33.000Z by EdwinBrady.
0.9.10.1-0 uploaded 2013-12-02T23:43:01.000Z by EdwinBrady.
0.9.10-0 uploaded 2013-11-28T10:40:32.000Z by EdwinBrady.
0.9.9.3-0 uploaded 2013-10-15T22:55:08.000Z by EdwinBrady.
0.9.9.2-0 uploaded 2013-09-24T20:32:05.000Z by EdwinBrady.
0.9.9.1-0 uploaded 2013-09-19T22:29:32.000Z by EdwinBrady.
0.9.9-0 uploaded 2013-07-31T19:51:16.000Z by EdwinBrady.
0.9.8-0 uploaded 2013-05-28T09:16:56.000Z by EdwinBrady.
0.9.7-0 uploaded 2013-03-10T20:41:28.000Z by EdwinBrady.
0.9.6.1-0 uploaded 2013-02-18T21:07:27.000Z by EdwinBrady.
0.9.6-0 uploaded 2013-01-23T17:06:33.000Z by EdwinBrady.
0.9.5.1-0 uploaded 2012-10-31T11:42:52.000Z by EdwinBrady.
0.9.5-0 uploaded 2012-10-29T12:20:46.000Z by EdwinBrady.
0.9.4.1-0 uploaded 2012-10-07T19:35:21.000Z by EdwinBrady.
0.9.4-0 uploaded 2012-10-07T14:17:09.000Z by EdwinBrady.
0.9.3.1-0 uploaded 2012-09-20T13:45:35.000Z by EdwinBrady.
0.9.3-0 uploaded 2012-09-15T12:27:50.000Z by EdwinBrady.
0.9.2.1-0 uploaded 2012-03-29T11:08:04.000Z by EdwinBrady.
0.9.2-0 uploaded 2012-02-27T23:53:51.000Z by EdwinBrady.
0.9.1-0 uploaded 2012-02-02T17:31:39.000Z by EdwinBrady.
0.9.0-0 uploaded 2012-01-17T16:57:08.000Z by EdwinBrady.
0.1.7.1-0 uploaded 2011-06-14T20:46:15.000Z by EdwinBrady.
0.1.7-0 uploaded 2011-04-18T10:10:18.000Z by EdwinBrady.
0.1.5-0 uploaded 2010-03-21T12:21:37.000Z by EdwinBrady.
0.1.4-0 uploaded 2009-12-22T19:44:05.000Z by EdwinBrady.
0.1.3.1-0 uploaded 2009-12-21T00:17:51.000Z by EdwinBrady.
0.1.3-0 uploaded 2009-12-20T23:59:11.000Z by EdwinBrady.

Uploaders