http://docs.idris-lang.org/en/latest/ 2024-01-02T20:47:48.238661+00:00 http://docs.idris-lang.org/en/v1.3.4/ 2021-10-22T22:52:45.503331+00:00 http://docs.idris-lang.org/en/v1.3.3/ 2020-05-23T22:51:27.957219+00:00 http://docs.idris-lang.org/en/v1.3.2/ 2020-03-04T10:19:00.272956+00:00 http://docs.idris-lang.org/en/v1.3.1/ 2018-10-23T09:54:17.806780+00:00 http://docs.idris-lang.org/en/v1.3.0/ 2018-05-26T16:56:08.275620+00:00 http://docs.idris-lang.org/en/v1.2.0/ 2018-01-07T18:41:15.573492+00:00 http://docs.idris-lang.org/en/v1.1.1/ 2017-08-06T00:09:19.797469+00:00 http://docs.idris-lang.org/en/v1.1.0/ 2017-08-01T12:08:07.770295+00:00 http://docs.idris-lang.org/en/v1.0.1/ 2017-08-01T10:40:18.509427+00:00 http://docs.idris-lang.org/en/v1.0/ 2017-04-02T16:48:07.455205+00:00 http://docs.idris-lang.org/en/v0.99.2/ 2017-03-26T15:59:12.048266+00:00 http://docs.idris-lang.org/en/v0.99.1/ 2017-03-08T12:26:21.309503+00:00 http://docs.idris-lang.org/en/v0.99/ 2016-11-28T21:15:43.531075+00:00 http://docs.idris-lang.org/en/v0.12.3/ 2016-09-18T12:21:01.643347+00:00 http://docs.idris-lang.org/en/v0.12.2/ 2016-08-04T16:59:16.533245+00:00 http://docs.idris-lang.org/en/v0.12.1/ 2016-07-26T08:54:10.524646+00:00 http://docs.idris-lang.org/en/v0.12/ 2016-07-26T22:20:13.806074+00:00 http://docs.idris-lang.org/en/v0.11.2/ 2016-05-18T11:47:06.267198+00:00 http://docs.idris-lang.org/en/v0.11.1/ 2016-05-02T12:17:29.064457+00:00 http://docs.idris-lang.org/en/v0.11/ 2016-03-26T00:06:40.464227+00:00 http://docs.idris-lang.org/en/v0.10.3/ 2016-03-19T15:08:02.754111+00:00 http://docs.idris-lang.org/en/v0.10.2/ 2016-02-27T10:38:41.590596+00:00 http://docs.idris-lang.org/en/v0.10.1/ 2016-02-25T19:31:10.552032+00:00 http://docs.idris-lang.org/en/v0.10/ 2016-01-31T11:20:12.207762+00:00 http://docs.idris-lang.org/en/v0.9.20.2/ 2015-12-17T14:09:10.458484+00:00 http://docs.idris-lang.org/en/v0.9.20.1/ 2015-11-15T16:35:15.637397+00:00 http://docs.idris-lang.org/en/v0.9.20/ 2015-11-12T15:36:45.896042+00:00 http://docs.idris-lang.org/en/v0.9.19.1/ 2015-09-22T11:08:26.870944+00:00 http://docs.idris-lang.org/en/v0.9.19/ 2015-09-01T15:13:14.983528+00:00 http://docs.idris-lang.org/en/v0.9.18.1/ 2015-05-26T21:10:02.921309+00:00 http://docs.idris-lang.org/en/v0.9.18/ 2016-01-11T23:09:27.140216+00:00