Ad
4 kyu
foldMap all the things!
342bartavelle
Completed Languages:
7 kyu
Exes and Ohs
254,494joh_pot
Completed Languages:
8 kyu
Is the string uppercase?
69,367donaldsebleung
Completed Languages:
1 kyu
A*B=B*A? Prove it!
213ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
274ice1000
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
260ice1000
Completed Languages:
5 kyu
List concatenation is injective? Prove it!
65lwoo1999
Completed Languages:
8 kyu
Beginner - Lost Without a Map
188,308PG1
Completed Languages:
7 kyu
Highest and Lowest
300,666Deantwo
Completed Languages:
7 kyu
Vowel Count
418,358jayeshcp
Completed Languages:
7 kyu
String ends with?
232,967jhoffner
Completed Languages:
6 kyu
Detect Pangram
184,606anindyabd
Completed Languages:
7 kyu
Sum of the first nth term of Series
90,679DivyanshBatham
Completed Languages:
1 kyu
Scott Encoding
600xenoexplorator
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
380AJFarmar
Completed Languages:
Loading more items...