|
List
|
Create a contrib directory in the standard library
|
2020-01-09 12:54:55 +00:00 |
|
Nat
|
Improve 'with' implementation
|
2019-07-08 12:55:55 +02:00 |
|
Primitives
|
Add Data.Primitives.Views
|
2019-07-08 22:11:34 +02:00 |
|
Buffer.idr
|
Some buffer updates
|
2020-01-31 16:49:31 +00:00 |
|
Either.idr
|
Inclusion of Either within Base.
|
2019-07-18 16:32:19 +01:00 |
|
Fin.idr
|
Better approach to erasure in pattern matching
|
2020-01-21 18:47:43 +00:00 |
|
IOArray.idr
|
Added Data.IOArray
|
2020-01-30 17:04:33 +00:00 |
|
IORef.idr
|
Remove trailing whitespace from Idris sources.
|
2019-10-25 14:24:25 -07:00 |
|
List.idr
|
More Data.List functions
|
2020-02-01 13:32:30 +00:00 |
|
Maybe.idr
|
Delay case elaboration
|
2019-07-02 16:53:41 +01:00 |
|
Morphisms.idr
|
Add Data.Morphisms to base
|
2019-07-18 14:46:59 +01:00 |
|
Nat.idr
|
Merge pull request #159 from ska80/integral-nat
|
2019-12-07 15:26:50 +00:00 |
|
So.idr
|
Remove trailing whitespace from Idris sources.
|
2019-10-25 14:24:25 -07:00 |
|
Stream.idr
|
Add more stream functions to Data.Stream
|
2019-07-08 18:10:47 +02:00 |
|
Strings.idr
|
Add strIndex and strTail
|
2020-01-31 23:06:08 +00:00 |
|
Vect.idr
|
Better approach to erasure in pattern matching
|
2020-01-21 18:47:43 +00:00 |
