User oisdk :: Monadoc

oisdk

Uploads

monus-weighted-search@0.1.0.0-0 uploaded 2021-08-29T17:21:40.000Z. latest
lean-peano@1.0.2.0-0 uploaded 2020-05-02T13:02:20.000Z. latest
kleene-list@0.1.0.0-0 uploaded 2020-05-02T01:38:09.000Z. latest
lean-peano@1.0.1.0-0 uploaded 2020-03-03T14:40:54.000Z.
lean-peano@1.0.0.0-0 uploaded 2020-03-02T22:22:35.000Z.
lean-peano@0.1.1.0-0 uploaded 2020-02-26T14:08:50.000Z.
lean-peano@0.1.0.1-0 uploaded 2020-02-22T01:00:05.000Z.
lean-peano@0.1.0.0-0 uploaded 2020-02-22T00:37:41.000Z.
semiring-num@1.6.0.4-0 uploaded 2019-11-23T20:58:21.000Z. latest
semiring-num@1.6.0.3-0 uploaded 2019-11-23T14:15:23.000Z.
arity-generic-liftA@0.1.0.0-1 uploaded 2018-12-31T19:00:57.000Z. latest
arity-generic-liftA@0.1.0.0-0 uploaded 2018-12-31T17:03:04.000Z.
quickselect@0.1.0.0-0 uploaded 2018-05-29T00:02:08.000Z. latest
difference-monoid@0.1.0.0-0 uploaded 2018-05-20T00:03:53.000Z. latest
binary-tree@0.1.0.0-0 uploaded 2018-02-14T01:42:12.000Z. latest
groupBy@0.1.0.0-0 uploaded 2018-01-30T00:14:45.000Z. latest
uniquely-represented-sets@0.1.0.0-0 uploaded 2018-01-15T01:36:39.000Z. latest
semiring-num@1.6.0.1-0 uploaded 2017-10-20T20:00:38.000Z.
semiring-num@1.6.0.0-0 uploaded 2017-10-17T01:03:51.000Z.
semiring-num@1.5.0.0-0 uploaded 2017-10-09T12:34:55.000Z.
semiring-num@1.4.0.0-0 uploaded 2017-10-08T15:53:42.000Z.
semiring-num@1.3.0.0-0 uploaded 2017-10-07T19:39:35.000Z.
semiring-num@1.2.0.0-0 uploaded 2017-10-07T18:56:06.000Z.
treefold@0.2.0.0-0 uploaded 2017-10-04T11:05:47.000Z. latest
treefold@0.1.0.0-0 uploaded 2017-10-01T12:13:01.000Z.
nat-sized-numbers@0.3.0.0-0 uploaded 2017-05-05T08:48:04.000Z. latest
type-indexed-queues@0.2.0.0-0 uploaded 2017-04-27T14:18:29.000Z. latest
type-indexed-queues@0.1.0.1-0 uploaded 2017-04-24T20:42:36.000Z.
type-indexed-queues@0.1.0.0-0 uploaded 2017-04-24T20:15:41.000Z.
constrained-monads@0.5.0.0-0 uploaded 2017-03-31T16:40:43.000Z. latest
nat-sized-numbers@0.2.0.0-0 uploaded 2017-03-27T15:38:16.000Z.
constrained-monads@0.4.0.0-0 uploaded 2017-03-12T17:21:00.000Z.
constrained-monads@0.3.0.0-0 uploaded 2017-03-09T12:56:44.000Z.
constrained-monads@0.2.0.1-0 uploaded 2017-03-08T13:17:51.000Z.
constrained-monads@0.2.0.0-0 uploaded 2017-03-08T13:15:46.000Z.
mono-traversable-wrapper@0.1.0.1-0 uploaded 2017-02-26T13:28:17.000Z. latest
mono-traversable-wrapper@0.1.0.0-0 uploaded 2017-02-26T13:25:36.000Z.
constrained-monads@0.1.0.0-0 uploaded 2017-02-20T20:15:15.000Z.
semiring-num@1.1.0.1-0 uploaded 2017-02-13T01:29:29.000Z.
weighted@0.3.0.1-0 uploaded 2017-02-13T00:52:04.000Z. latest
semiring-num@1.1.0.0-0 uploaded 2017-02-12T19:16:54.000Z.
semiring-num@1.0.0.1-0 uploaded 2017-02-12T19:07:13.000Z.
semiring-num@1.0.0.0-0 uploaded 2017-02-12T18:53:36.000Z.
strict-writer@0.4.0.0-0 uploaded 2017-02-10T19:21:05.000Z. latest
weighted@0.3.0.0-0 uploaded 2017-02-10T13:43:52.000Z.
strict-writer@0.3.0.0-0 uploaded 2017-02-10T11:49:51.000Z.
weighted@0.1.0.1-0 uploaded 2017-02-10T10:49:01.000Z.
strict-writer@0.2.0.0-0 uploaded 2017-02-10T10:41:19.000Z.
strict-writer@0.1.0.1-0 uploaded 2017-02-10T10:24:27.000Z.
strict-writer@0.1.0.0-0 uploaded 2017-02-10T10:20:25.000Z.
semiring-num@0.9.0.1-0 uploaded 2017-02-09T20:30:33.000Z.
semiring-num@0.9.0.0-0 uploaded 2017-02-09T20:24:54.000Z.
semiring-num@0.8.0.0-0 uploaded 2017-02-01T22:24:23.000Z.
semiring-num@0.7.0.0-0 uploaded 2017-02-01T21:08:41.000Z.
nat-sized-numbers@0.1.0.0-0 uploaded 2017-01-30T18:03:38.000Z.
semiring-num@0.6.0.0-0 uploaded 2017-01-26T16:49:44.000Z.
find-source-files@0.1.0.0-0 uploaded 2016-12-05T13:42:31.000Z. latest
semiring-num@0.5.4.0-0 uploaded 2016-11-21T18:18:57.000Z.
semiring-num@0.5.3.1-0 uploaded 2016-11-21T00:07:28.000Z.
semiring-num@0.5.3.0-0 uploaded 2016-11-21T00:01:03.000Z.
semiring-num@0.5.2.0-0 uploaded 2016-11-20T23:44:46.000Z.
semiring-num@0.5.1.1-0 uploaded 2016-11-20T23:28:49.000Z.
semiring-num@0.5.0.0-0 uploaded 2016-11-20T23:16:40.000Z.
semiring-num@0.4.0.0-0 uploaded 2016-11-20T22:35:49.000Z.

Packages