|
Basics.idr
|
improved documentation for 'on'
|
2021-01-13 05:06:01 +01:00 |
|
EqOrd.idr
|
add Semigroup for Ordering and a -> b
|
2020-09-21 08:07:21 +01:00 |
|
Interfaces.idr
|
Add count and foldMap to prelude
|
2021-01-05 21:59:01 +00: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
|
Add a (>>) operator, implemented in terms of (>>=).
|
2020-10-01 13:16:58 +01:00 |
|
Show.idr
|
Make showParens public
|
2020-08-04 10:58:00 +01:00 |
|
Types.idr
|
Add count and foldMap to prelude
|
2021-01-05 21:59:01 +00:00 |
|
Uninhabited.idr
|
Reorganise prelude into multiple files
|
2020-07-12 16:55:48 +01:00 |
