| .. |
|
Bool
|
Add some algebra implementations
|
2020-07-17 08:25:20 -05:00 |
|
Fin
|
Remove trailing whitespaces and add trailing newlines
|
2021-01-16 10:00:03 +00:00 |
|
IOArray
|
Add experimental support for linear arrays
|
2020-06-12 14:08:00 +01:00 |
|
List
|
[ new ] Proof search from 'Applications of Applicative Proof Search' (#1093)
|
2021-03-01 08:29:43 +00:00 |
|
Nat
|
[ fix #637 ] force indentation after a with
|
2021-02-23 10:52:22 +00:00 |
|
Primitives
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
Vect
|
Relax some linearities in the base libraries
|
2020-12-29 21:34:35 +00:00 |
|
Bits.idr
|
Add Data.Bits to base (#1033)
|
2021-03-04 20:59:56 +00:00 |
|
Bool.idr
|
Function mapping Not (x=True) to x=False was added for Bools (#322)
|
2020-06-19 11:13:13 +01:00 |
|
Buffer.idr
|
[ fix #758 ] desugar non-binding sequencing in do blocks to (>>) (#1095)
|
2021-02-24 11:07:16 +00:00 |
|
Colist1.idr
|
Cleanup List1 (#1091)
|
2021-03-17 14:07:52 +00:00 |
|
Colist.idr
|
colist
|
2021-03-15 13:36:05 +00:00 |
|
DPair.idr
|
[ new ] Interface implementations for Subset
|
2021-03-09 11:25:03 +00:00 |
|
Either.idr
|
Add Bifunctor interface (#701)
|
2020-09-30 10:51:07 +01:00 |
|
Fin.idr
|
[ base ] DecEq implementations of Fin and Vect were exported publicly
|
2021-03-18 16:07:21 +00:00 |
|
Fuel.idr
|
[ new ] Proof search from 'Applications of Applicative Proof Search' (#1093)
|
2021-03-01 08:29:43 +00:00 |
|
Fun.idr
|
Some cleanup was done. Changed code is mosly equivalent to the former.
|
2021-02-16 19:05:33 +00:00 |
|
IOArray.idr
|
IOArray.fromList moved to HasIO
|
2021-02-06 20:37:15 +00:00 |
|
IORef.idr
|
removed trailing whitespace (#955)
|
2021-01-21 11:33:03 +00:00 |
|
List1.idr
|
Cleanup List1 (#1091)
|
2021-03-17 14:07:52 +00:00 |
|
List.idr
|
Cleanup List1 (#1091)
|
2021-03-17 14:07:52 +00:00 |
|
Maybe.idr
|
Zero quantities were added to some interface usages.
|
2021-02-12 20:51:13 +00:00 |
|
Morphisms.idr
|
Export (~>) publicly.
|
2020-07-20 15:55:24 +01:00 |
|
Nat.idr
|
Add Data.Bits to base (#1033)
|
2021-03-04 20:59:56 +00:00 |
|
Ref.idr
|
[ fix #657 ] RigCount for interface parameters (#808)
|
2020-12-11 11:58:26 +00:00 |
|
Rel.idr
|
[contrib] Add misc libraries to contrib (#667)
|
2020-09-14 16:22:46 +01:00 |
|
So.idr
|
[ fix #899 ] Be careful when generating an impossible LHS (#1081)
|
2021-02-22 09:53:30 +00:00 |
|
Stream.idr
|
[ new ] Proof search from 'Applications of Applicative Proof Search' (#1093)
|
2021-03-01 08:29:43 +00:00 |
|
String.idr
|
Cleanup List1 (#1091)
|
2021-03-17 14:07:52 +00:00 |
|
Strings.idr
|
[ refactor ] Rename Data.Strings to Data.String (1/2) (#987)
|
2021-01-27 19:18:34 +00:00 |
|
These.idr
|
Add Bifunctor interface (#701)
|
2020-09-30 10:51:07 +01:00 |
|
Vect.idr
|
[ base ] DecEq implementations of Fin and Vect were exported publicly
|
2021-03-18 16:07:21 +00:00 |
|
Zippable.idr
|
Make zip infixr 6
|
2021-02-23 10:54:28 +00:00 |
