Ad
4 kyu
Catching Car Mileage Numbers
17,177OverZealous
Completed Languages:
6 kyu
Reverse polish notation calculator
11,401vgrichina
Completed Languages:
2 kyu
The most imperative functional language?
335bkaes
Completed Languages:
8 kyu
Count Odd Numbers below n
51,642kodejuice
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
276ice1000
Completed Languages:
2 kyu
Yoneda lemma
177pier-bezuhoff
Completed Languages:
2 kyu
Count them all!
169pier-bezuhoff
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
380AJFarmar
Completed Languages:
1 kyu
Peano and Church
321lolisa
Completed Languages:
1 kyu
A+B=B+A? Prove it!
464AJFarmar
Completed Languages:
1 kyu
Sure, but can you SKI? (I)
295Voile
Completed Languages:
1 kyu
Scott Encoding
601xenoexplorator
Completed Languages:
7 kyu
Reverse words
146,511jnicol
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
721AJFarmar
Completed Languages:
2 kyu
Algebraic Isomorphism
533lolisa
Completed Languages:
Loading more items...