Idris2/libs/contrib/Control
2021-10-25 13:17:03 +01:00
..
Algebra Missing interface methods now cause an error 2021-06-27 20:03:19 +01:00
ANSI Fixed typo 2020-06-26 21:26:36 +02:00
Linear [ cleanup ] Move left autos that are most likely to be passed explicitly 2021-10-25 13:17:03 +01:00
Monad [ new ] Data.OpenUnion (#1050) 2021-02-10 15:25:35 +00:00
Algebra.idr Add Algebra interfaces and laws 2020-06-18 10:12:13 -05:00
ANSI.idr Added Control.ANSI module in contrib 2020-06-26 19:10:02 +02:00
Arrow.idr [ contrib ] add 2021-05-10 11:54:23 +01:00
Category.idr Generalize Category 2021-02-11 09:38:26 +00:00
Delayed.idr fix typo 2021-05-24 08:42:49 +01:00
Validation.idr [ cleanup ] Move left autos that are most likely to be passed explicitly 2021-10-25 13:17:03 +01:00