Ad
6 kyu
Go so far around to the right that you end up left
303tel
Completed Languages:
6 kyu
Hughes' List
213tel
Completed Languages:
5 kyu
Proving Trivial Tautologies
96TheBookmarkKnight
Completed Languages:
1 kyu
Tiny Three-Pass Compiler
2,646nklein
Completed Languages:
2 kyu
Writing applicative parsers from scratch
338muesli4
Completed Languages:
1 kyu
Peano and Church
320lolisa
Completed Languages:
1 kyu
Scott Encoding
595xenoexplorator
Completed Languages:
4 kyu
Five Fundamental Monads
903mpickering
Completed Languages:
2 kyu
Algebraic Isomorphism
524lolisa
Completed Languages:
2 kyu
Singletons
448mpickering
Completed Languages:
Retired
Church Numbers - Add, Multiply, Exponents
1,034Azuaron
Completed Languages:
1 kyu
A+B=B+A? Prove it!
455AJFarmar
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
712AJFarmar
Completed Languages:
3 kyu
Isomorphism
891lolisa
Completed Languages:
6 kyu
Array.diff
280,564marcinbunsch
Completed Languages:
Loading more items...