Ad
4 kyu
foldMap all the things!
341bartavelle
Completed Languages:
7 kyu
Exes and Ohs
252,473joh_pot
Completed Languages:
8 kyu
Is the string uppercase?
67,083donaldsebleung
Completed Languages:
1 kyu
A*B=B*A? Prove it!
212ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
273ice1000
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
259ice1000
Completed Languages:
5 kyu
List concatenation is injective? Prove it!
65lwoo1999
Completed Languages:
8 kyu
Beginner - Lost Without a Map
186,384PG1
Completed Languages:
7 kyu
Highest and Lowest
298,425Deantwo
Completed Languages:
7 kyu
Vowel Count
415,297jayeshcp
Completed Languages:
7 kyu
String ends with?
230,069jhoffner
Completed Languages:
6 kyu
Detect Pangram
182,907anindyabd
Completed Languages:
7 kyu
Sum of the first nth term of Series
90,061DivyanshBatham
Completed Languages:
1 kyu
Scott Encoding
598xenoexplorator
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
379AJFarmar
Completed Languages:
Loading more items...