| .. |
|
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 exports
|
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 |
