|
List
|
fix typos
|
2020-05-24 03:18:15 +02:00 |
|
Nat
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
Primitives
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
Buffer.idr
|
Workaround for byte vectors in Racket
|
2020-05-23 21:37:31 +01:00 |
|
Either.idr
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
Fin.idr
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
IOArray.idr
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
IORef.idr
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
List.idr
|
Reuse foldr1 in foldr1'
|
2020-05-21 02:35:18 +08:00 |
|
Maybe.idr
|
Add a total version of the fromMaybe
|
2020-05-21 02:11:35 +08:00 |
|
Morphisms.idr
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
Nat.idr
|
add minus proofs on Nats from Idris1
|
2020-05-22 22:39:09 +02:00 |
|
So.idr
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
Stream.idr
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
Strings.idr
|
Don't collapse empty lines in 'lines'
|
2020-05-19 10:47:05 +01:00 |
|
Vect.idr
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
