| .. |
|
Bool
|
Division theorem (#695)
|
2020-10-06 13:09:02 +01:00 |
|
Fin
|
Some utilities for Fin, relations and decidability (#857)
|
2020-12-28 21:41:12 +00:00 |
|
Fun
|
Some utilities for Fin, relations and decidability (#857)
|
2020-12-28 21:41:12 +00:00 |
|
InductionRecursion
|
[ contrib ] add McBride's General monad
|
2020-10-15 17:03:32 +01:00 |
|
Linear
|
Be explicit about multiplicity in Array
|
2020-06-12 14:18:57 +01:00 |
|
List
|
Add List, LazyList and Stream unfolds and some LazyList's functions
|
2020-12-18 22:54:03 +00:00 |
|
Logic
|
Port over some contrib stuff
|
2020-06-15 14:56:19 -05:00 |
|
Morphisms
|
Add some algebra implementations
|
2020-07-17 08:25:20 -05:00 |
|
Nat
|
Division theorem (#695)
|
2020-10-06 13:09:02 +01:00 |
|
Recursion
|
[ new ] proof that evaluation is Domain-independent
|
2020-10-29 23:05:41 +00:00 |
|
Rel
|
Some utilities for Fin, relations and decidability (#857)
|
2020-12-28 21:41:12 +00:00 |
|
Stream
|
Add Data.Stream.Extra.startWith
|
2020-08-28 13:16:31 +01:00 |
|
String
|
Add withIteratorString
|
2020-12-31 20:36:07 +03:00 |
|
Vect
|
Merge sort implementation for Vect (#417)
|
2020-07-07 10:25:42 +01:00 |
|
Container.idr
|
[ contrib ] adding Data.Container (#781)
|
2020-11-27 15:29:19 +00:00 |
|
HVect.idr
|
[ fix #657 ] RigCount for interface parameters (#808)
|
2020-12-11 11:58:26 +00:00 |
|
Late.idr
|
[ contrib ] add McBride's General monad
|
2020-10-15 17:03:32 +01:00 |
|
SortedMap.idr
|
[ new ] null method in Foldable (#832)
|
2020-12-10 18:04:23 +00:00 |
|
SortedSet.idr
|
[ new ] null method in Foldable (#832)
|
2020-12-10 18:04:23 +00:00 |
|
Void.idr
|
[contrib] Add misc libraries to contrib (#667)
|
2020-09-14 16:22:46 +01:00 |
