Ad
2 kyu
Yoneda lemma
170pier-bezuhoff
Completed Languages:
1 kyu
A*B=B*A? Prove it!
205ice1000
Completed Languages:
1 kyu
Scott Encoding
586xenoexplorator
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
270ice1000
Completed Languages:
2 kyu
Algebraic Isomorphism
518lolisa
Completed Languages:
4 kyu
Five Fundamental Monads
895mpickering
Completed Languages:
3 kyu
The Millionth Fibonacci Kata
11,752xcthulhu
Completed Languages:
4 kyu
Big Big Big Padovan Number
421Valek
Completed Languages:
4 kyu
All Balanced Parentheses
5,770xcthulhu
Completed Languages:
1 kyu
A+B=B+A? Prove it!
449AJFarmar
Completed Languages:
Retired
Church Numbers - Add, Multiply, Exponents
1,034Azuaron
Completed Languages:
3 kyu
Isomorphism
878lolisa
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
702AJFarmar
Completed Languages:
2 kyu
Singletons
444mpickering
Completed Languages:
2 kyu
Prime Streaming (NC-17)
561jcsahnwaldt
Completed Languages:
Loading more items...