Ad
4 kyu
A+A=B+B so A=B? Prove it in Haskell!
46ice1000
Completed Languages:
1 kyu
A*B=B*A? Prove it!
212ice1000
Completed Languages:
1 kyu
A+B=B+A? Prove it!
460AJFarmar
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
717AJFarmar
Completed Languages:
3 kyu
Constructing finite fields using binary polynoms
156muesli4
Completed Languages:
4 kyu
Sum by Factors
19,182g964
Completed Languages:
1 kyu
Peano and Church
321lolisa
Completed Languages:
5 kyu
Peano numbers
413jariazavalverde
Completed Languages:
4 kyu
Church numbers: find the predecessor and subtract
243CarstenKoenig
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
273ice1000
Completed Languages:
2 kyu
Algebraic Isomorphism
530lolisa
Completed Languages:
3 kyu
Isomorphism
895lolisa
Completed Languages:
2 kyu
Writing applicative parsers from scratch
339muesli4
Completed Languages:
2 kyu
The most imperative functional language?
334bkaes
Completed Languages:
4 kyu
Five Fundamental Monads
904mpickering
Completed Languages:
Loading more items...