Ad
6 kyu
Go so far around to the right that you end up left
305tel
Completed Languages:
6 kyu
Hughes' List
216tel
Completed Languages:
5 kyu
Proving Trivial Tautologies
102TheBookmarkKnight
Completed Languages:
1 kyu
Tiny Three-Pass Compiler
2,840nklein
Completed Languages:
2 kyu
Writing applicative parsers from scratch
348muesli4
Completed Languages:
1 kyu
Peano and Church
328lolisa
Completed Languages:
1 kyu
Scott Encoding
614xenoexplorator
Completed Languages:
4 kyu
Five Fundamental Monads
927mpickering
Completed Languages:
2 kyu
Algebraic Isomorphism
550lolisa
Completed Languages:
2 kyu
Singletons
459mpickering
Completed Languages:
Retired
Church Numbers - Add, Multiply, Exponents
1,034Azuaron
Completed Languages:
1 kyu
A+B=B+A? Prove it!
474AJFarmar
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
743AJFarmar
Completed Languages:
3 kyu
Isomorphism
926lolisa
Completed Languages:
6 kyu
Array.diff
304,742marcinbunsch
Completed Languages:
Loading more items...