|
Chunk
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Church
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
and.kind2
|
add more List and Nat functions
|
2024-03-20 12:47:25 -03:00 |
|
begin.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Chunk.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
Church.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
concat.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
cons.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
drop.kind2
|
add more List and Nat functions
|
2024-03-20 12:47:25 -03:00 |
|
filter.kind2
|
add more List and Nat functions
|
2024-03-20 12:47:25 -03:00 |
|
find.kind2
|
unification fine polishments - see notes
|
2024-03-18 16:59:21 -03:00 |
|
fold.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
length.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
map.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
nil.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
or.kind2
|
add more List and Nat functions
|
2024-03-20 12:47:25 -03:00 |
|
sum.kind2
|
diff savida
|
2024-03-15 22:07:01 -03:00 |
|
take.kind2
|
add more List and Nat functions
|
2024-03-20 12:47:25 -03:00 |
|
zip.kind2
|
add more List and Nat functions
|
2024-03-20 12:47:25 -03:00 |
