rnhmjoj
|
d88a6e59ad
|
add "delete" functions
|
2016-12-04 15:36:06 +01:00 |
|
rnhmjoj
|
d22f298356
|
flip Vec arguments to allow a Functor instance
|
2016-12-04 04:16:07 +01:00 |
|
rnhmjoj
|
c7ac8bb7a7
|
add search functions
|
2016-11-29 16:18:40 +01:00 |
|
rnhmjoj
|
28bc4568f7
|
add alias
|
2016-11-29 16:18:19 +01:00 |
|
rnhmjoj
|
f87952261a
|
remove unused import
|
2016-11-29 16:18:00 +01:00 |
|
rnhmjoj
|
0d5d0f0885
|
fix the built-in typeclasses mess
|
2016-11-29 16:17:39 +01:00 |
|
rnhmjoj
|
12af0730eb
|
remove Nat-specific equality
|
2016-11-28 21:14:43 +01:00 |
|
rnhmjoj
|
0994ae2940
|
add natural exponentiation
|
2016-11-28 21:14:14 +01:00 |
|
rnhmjoj
|
f0b2422711
|
rebind ifThenElse
|
2016-11-28 21:13:32 +01:00 |
|
rnhmjoj
|
be168245c9
|
fix typo
|
2016-11-28 19:41:59 +01:00 |
|
rnhmjoj
|
d59417834d
|
use Type
|
2016-11-28 19:39:27 +01:00 |
|
rnhmjoj
|
4cc8bc1f24
|
add finite sets
|
2016-11-28 19:25:10 +01:00 |
|
rnhmjoj
|
1123ebe83b
|
temporarily use ambiguous types
|
2016-11-27 23:30:42 +01:00 |
|
rnhmjoj
|
3714f048cf
|
add new proof
|
2016-11-27 23:24:10 +01:00 |
|
rnhmjoj
|
9d3ec1d2ad
|
Replace star with Type
|
2016-11-27 20:17:27 +01:00 |
|
rnhmjoj
|
b9f249a9ff
|
raise Data.Function to the type levels
|
2016-11-27 20:16:23 +01:00 |
|
rnhmjoj
|
99619b7109
|
add permutations
|
2016-11-27 20:15:33 +01:00 |
|
rnhmjoj
|
44aec1f56c
|
add factorial
|
2016-11-25 17:37:02 +01:00 |
|
rnhmjoj
|
6e73e737cc
|
cosmesis
|
2016-11-16 23:11:28 +01:00 |
|
rnhmjoj
|
c1351e2dff
|
add implicit take/drop
|
2016-11-16 23:11:07 +01:00 |
|
rnhmjoj
|
f8365ca381
|
add minimum/maximum
|
2016-11-16 22:24:15 +01:00 |
|
rnhmjoj
|
a8291ccf9f
|
add zips
|
2016-11-16 22:06:42 +01:00 |
|
rnhmjoj
|
358fb280ae
|
add proof for transpose
|
2016-11-16 22:06:19 +01:00 |
|
rnhmjoj
|
c631d24d38
|
add min/max functions and theorems
|
2016-11-16 22:05:43 +01:00 |
|
rnhmjoj
|
2c4ab33bc4
|
add transpose
|
2016-11-16 01:03:51 +01:00 |
|
rnhmjoj
|
8abcc2f1f1
|
add more folds
|
2016-11-15 22:57:19 +01:00 |
|
rnhmjoj
|
ee653f3822
|
add concatMap
|
2016-11-15 22:23:31 +01:00 |
|
rnhmjoj
|
c205db3ff7
|
add intercalate and concat
|
2016-11-15 20:28:12 +01:00 |
|
rnhmjoj
|
ccf95e0cb9
|
proof for interspersed list length
|
2016-11-15 00:07:00 +01:00 |
|
rnhmjoj
|
fc3b3bd927
|
add new proof
|
2016-11-15 00:05:26 +01:00 |
|
rnhmjoj
|
cbd12fe5b8
|
refactor commutativity proof
|
2016-11-15 00:04:50 +01:00 |
|
rnhmjoj
|
f483b9c6c4
|
Reorganize functions
|
2016-04-28 19:36:12 +02:00 |
|
rnhmjoj
|
544b999f13
|
Remove unused fields
|
2016-04-24 13:54:08 +02:00 |
|
rnhmjoj
|
c7508bc57e
|
Improve docs
|
2016-04-24 13:53:45 +02:00 |
|
rnhmjoj
|
5d7ce06597
|
Add .gitignore
|
2016-04-23 18:23:07 +02:00 |
|
rnhmjoj
|
5f0704739e
|
Initial commit
|
2016-04-23 18:22:37 +02:00 |
|