Ad
7 kyu
Concatenate two list
239lolisa
Completed Languages:
2 kyu
Algebraic Isomorphism
530lolisa
Completed Languages:
3 kyu
Isomorphism
895lolisa
Completed Languages:
4 kyu
Five Fundamental Monads
903mpickering
Completed Languages:
6 kyu
Fun with trees: max sum
4,124janitormeir
Completed Languages:
1 kyu
Peano and Church
320lolisa
Completed Languages:
2 kyu
Yoneda lemma
174pier-bezuhoff
Completed Languages:
4 kyu
A+A=B+B so A=B? Prove it in Haskell!
46ice1000
Completed Languages:
1 kyu
A*B=B*A? Prove it!
211ice1000
Completed Languages:
1 kyu
A+B=B+A? Prove it!
456AJFarmar
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
273ice1000
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
714AJFarmar
Completed Languages:
5 kyu
Simple Finite State Machine Compiler
756awesomeaf
Completed Languages:
1 kyu
Tiny Three-Pass Compiler
2,659nklein
Completed Languages: