Ad
4 kyu
Binary multiple of 3
7,094rsalgado
Completed Languages:
1 kyu
Simple Interactive Interpreter
2,332Wintermute
Completed Languages:
1 kyu
Tiny Three-Pass Compiler
2,635nklein
Completed Languages:
2 kyu
Algebraic Isomorphism
524lolisa
Completed Languages:
3 kyu
Isomorphism
890lolisa
Completed Languages:
1 kyu
Lensmaker
376tel
Completed Languages:
1 kyu
Peano and Church
320lolisa
Completed Languages:
1 kyu
A+B=B+A? Prove it!
454AJFarmar
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
711AJFarmar
Completed Languages:
1 kyu
Coroutines
306mpickering
Completed Languages:
1 kyu
Scott Encoding
595xenoexplorator
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
375AJFarmar
Completed Languages:
1 kyu
Sure, but can you SKI? (I)
291Voile
Completed Languages:
1 kyu
BECOME IMMORTAL
3,000Voile
Completed Languages:
2 kyu
Yoneda lemma
171pier-bezuhoff
Completed Languages:
Loading more items...