Ad
6 kyu
Micro Optimization: Digit Sum
1,046Voile
Completed Languages:
7 kyu
How many twos?
1,546Nmistrata
Completed Languages:
5 kyu
Last digit of a large number
24,760dburgoyne
Completed Languages:
4 kyu
Explosive Sum
8,415surtich
Completed Languages:
5 kyu
Memoized Fibonacci
22,937edalorzo
Completed Languages:
1 kyu
A*B=B*A? Prove it!
209ice1000
Completed Languages:
2 kyu
Algebraic Isomorphism
524lolisa
Completed Languages:
3 kyu
Isomorphism
891lolisa
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
712AJFarmar
Completed Languages:
1 kyu
A+B=B+A? Prove it!
454AJFarmar
Completed Languages:
4 kyu
A+A=B+B so A=B? Prove it in Haskell!
46ice1000
Completed Languages:
4 kyu
Five Fundamental Monads
903mpickering
Completed Languages:
4 kyu
One Line Task: How many digits?
190Voile
Completed Languages:
4 kyu
Church numbers
530CarstenKoenig
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
272ice1000
Completed Languages:
Loading more items...