|
Basics.idr
|
[ cleanup ] we only need one ifThenElse
|
2020-09-23 22:20:45 +01:00 |
|
EqOrd.idr
|
add Semigroup for Ordering and a -> b
|
2020-09-21 08:07:21 +01:00 |
|
Interfaces.idr
|
Add Bifunctor interface (#701)
|
2020-09-30 10:51:07 +01:00 |
|
IO.idr
|
Add supporting code
|
2020-08-25 14:30:57 +03:00 |
|
Num.idr
|
Reorganise prelude into multiple files
|
2020-07-12 16:55:48 +01:00 |
|
Ops.idr
|
refactor Data.String.Parser (#579)
|
2020-08-22 08:13:34 +01:00 |
|
Show.idr
|
Make showParens public
|
2020-08-04 10:58:00 +01:00 |
|
Types.idr
|
Add Bifunctor interface (#701)
|
2020-09-30 10:51:07 +01:00 |
|
Uninhabited.idr
|
Reorganise prelude into multiple files
|
2020-07-12 16:55:48 +01:00 |
