Ad
4 kyu
foldMap all the things!
338bartavelle
Completed Languages:
7 kyu
Exes and Ohs
247,244joh_pot
Completed Languages:
8 kyu
Is the string uppercase?
65,012donaldsebleung
Completed Languages:
1 kyu
A*B=B*A? Prove it!
208ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
271ice1000
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
257ice1000
Completed Languages:
5 kyu
List concatenation is injective? Prove it!
65lwoo1999
Completed Languages:
8 kyu
Beginner - Lost Without a Map
180,761PG1
Completed Languages:
7 kyu
Highest and Lowest
292,052Deantwo
Completed Languages:
7 kyu
Vowel Count
406,015jayeshcp
Completed Languages:
7 kyu
String ends with?
222,300jhoffner
Completed Languages:
6 kyu
Detect Pangram
178,144anindyabd
Completed Languages:
7 kyu
Sum of the first nth term of Series
88,531DivyanshBatham
Completed Languages:
1 kyu
Scott Encoding
594xenoexplorator
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
374AJFarmar
Completed Languages:
Loading more items...