.. |
Bool
|
expand Bool laws, add (verified) lattice instances for Bool & Nat
|
2019-07-04 13:50:11 +03:00 |
Combinators
|
Added various combinators, most of which are also present in Haskell
|
2017-10-11 16:36:18 +02:00 |
Fin
|
Proven some basic statements about Data.Fin. (#4571)
|
2018-11-06 12:00:51 +01:00 |
List
|
Add more reverse properties
|
2020-03-06 16:07:00 -06:00 |
Logic
|
Add some propositional logic theorems
|
2019-06-03 17:27:39 -05:00 |
Matrix
|
Moved abs from the Neg interface into its own Abs interface. (Issue 3500)
|
2017-11-10 19:44:06 +01:00 |
Nat
|
Merge pull request #4812 from nickdrozd/factorial
|
2020-02-29 14:19:31 +01:00 |
Pairs
|
add Data.Pairs.Implicit for converting erased pairs
|
2017-08-25 20:05:45 -05:00 |
Stream
|
improve documentation for Data.Stream.Extra.startWith
|
2017-08-23 15:05:07 -05:00 |
String
|
Data.String.Extra: more String utilities
|
2017-12-04 11:48:02 -06:00 |
BoundedList.idr
|
Add conversions between BoundedList and Vect
|
2018-03-12 04:52:03 +01:00 |
Chain.idr
|
Various additions to contrib (#4343)
|
2018-02-23 09:36:36 +01:00 |
CoList.idr
|
Update CoList.idr
|
2017-05-10 23:17:37 +02:00 |
Combinators.idr
|
use HTTPS URL instead of HTTP URL when possible
|
2019-12-19 14:26:41 +01:00 |
Fuel.idr
|
move Fuel data type into its own module
|
2017-12-05 14:30:48 -06:00 |
Fun.idr
|
Change export qualifier keywords
|
2016-01-29 14:56:56 +00:00 |
Graph.idr
|
Move Graph.idr & Polyhedra.idr to contrib.
|
2015-03-21 19:46:30 +00:00 |
Hash.idr
|
Change export qualifier keywords
|
2016-01-29 14:56:56 +00:00 |
Heap.idr
|
add Uninhabited instances for True=False, remove unused proof from Data.Heap
|
2017-07-18 13:07:08 +03:00 |
IOArray.idr
|
Added Data.IOArray for mutable array primitives
|
2017-10-19 09:49:10 +01:00 |
Matrix.idr
|
Change export qualifier keywords
|
2016-01-29 14:56:56 +00:00 |
Monoid.idr
|
Started work on Data.Monoid
|
2016-12-07 00:43:05 +01:00 |
Nat.idr
|
Add ltePlus and lteMult to contrib.
|
2018-11-29 17:06:49 +02:00 |
Polyhedra.idr
|
Move Graph.idr & Polyhedra.idr to contrib.
|
2015-03-21 19:46:30 +00:00 |
PosNat.idr
|
Fixed Data.SortedBag.contains and added docs to Data.PosNat (#4348)
|
2018-02-24 08:23:41 +01:00 |
Rel.idr
|
Change export qualifier keywords
|
2016-01-29 14:56:56 +00:00 |
Sign.idr
|
extend Data.Sign
|
2018-04-23 18:08:30 +03:00 |
SortedBag.idr
|
Fixed Data.SortedBag.contains and added docs to Data.PosNat (#4348)
|
2018-02-24 08:23:41 +01:00 |
SortedMap.idr
|
add SortedMap.singleton
|
2019-10-25 23:38:58 +03:00 |
SortedSet.idr
|
Forgot a few export s
|
2017-06-19 11:41:21 +02:00 |
Storable.idr
|
Purify Idris of "return"
|
2016-08-27 08:26:45 -04:00 |
ZZ.idr
|
Moved abs from the Neg interface into its own Abs interface. (Issue 3500)
|
2017-11-10 19:44:06 +01:00 |