Ad
4 kyu
foldMap all the things!
342bartavelle
Completed Languages:
7 kyu
Exes and Ohs
256,639joh_pot
Completed Languages:
8 kyu
Is the string uppercase?
70,395donaldsebleung
Completed Languages:
1 kyu
A*B=B*A? Prove it!
218ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
277ice1000
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
262ice1000
Completed Languages:
5 kyu
List concatenation is injective? Prove it!
65lwoo1999
Completed Languages:
8 kyu
Beginner - Lost Without a Map
190,289PG1
Completed Languages:
7 kyu
Highest and Lowest
302,960Deantwo
Completed Languages:
7 kyu
Vowel Count
421,653jayeshcp
Completed Languages:
7 kyu
String ends with?
236,116jhoffner
Completed Languages:
6 kyu
Detect Pangram
186,346anindyabd
Completed Languages:
7 kyu
Sum of the first nth term of Series
91,280DivyanshBatham
Completed Languages:
1 kyu
Scott Encoding
601xenoexplorator
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
380AJFarmar
Completed Languages:
Loading more items...