lesnitsky 0110011001110000 issues

lesnitsky / 0110011001110000

1 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

List.concatMap using foldr

#35 DaQuirm opened 3 years ago
0
List.map using foldr

#34 DaQuirm opened 3 years ago
0
List.length using foldr

#33 DaQuirm opened 3 years ago
0
Implement foldr for lists

#32 DaQuirm opened 3 years ago
0
NonEmpty.groupBy Part Two

#31 DaQuirm opened 4 years ago
0
NonEmpty.groupBy Part One

#30 DaQuirm opened 4 years ago
0
Fix List.span

#29 DaQuirm opened 4 years ago
0
List.reverse

#28 DaQuirm opened 4 years ago
0
Remove unnecessary imports; fix rle test

#27 DaQuirm closed 4 years ago
0
⚠️ Add the fwarn-incomplete-uni-patterns flag

#26 DaQuirm closed 4 years ago
0
NonEmpty functions

#25 DaQuirm opened 4 years ago
0
Show instance for NonEmpty

#24 DaQuirm opened 4 years ago
0
List functions using Maybe

#23 DaQuirm opened 4 years ago
0
Sum and product of lists and binary trees of ints

#22 DaQuirm opened 4 years ago
0
isEmpty for List and BinaryTree

#21 DaQuirm opened 4 years ago
0
Binary Tree

#20 DaQuirm opened 4 years ago
0
✨ Regenerate .cabal file; Extract common language extensions in packa…

#19 DaQuirm closed 4 years ago
0
Temperature-checking function

#18 DaQuirm opened 4 years ago
0
🧪 Add Tasty-based tests (broken!)

#17 DaQuirm closed 4 years ago
0
List head function

#16 DaQuirm opened 4 years ago
0
Maybe Scott encoding

#15 DaQuirm opened 4 years ago
0
Encode Binary Trees using Scott encoding

#14 DaQuirm opened 4 years ago
0
List length using Church numerals

#13 DaQuirm opened 4 years ago
0
Scott Encoding for Lists

#12 DaQuirm opened 4 years ago
0
Curry/uncurry tuple functions

#11 DaQuirm opened 4 years ago
0
Eta-reduction

#10 DaQuirm opened 4 years ago
0
Swap tuple elements

#9 DaQuirm opened 4 years ago
0
Tuple functions

#8 DaQuirm opened 4 years ago
0
isZero predicate

#7 DaQuirm opened 4 years ago
0
Boolean algebra

#6 DaQuirm opened 4 years ago
0
Boolean Church Encoding

#5 DaQuirm opened 4 years ago
0
Church numeral multiplication

#4 DaQuirm opened 4 years ago
0
Church numerals addition

#3 DaQuirm opened 4 years ago
0
Number-to-Church number conversion

#2 DaQuirm opened 4 years ago
0
Church Encoding

#1 lesnitsky opened 4 years ago
1