Ad
4 kyu
Binary multiple of 3
7,481rsalgado
Completed Languages:
1 kyu
Simple Interactive Interpreter
2,378Wintermute
Completed Languages:
1 kyu
Tiny Three-Pass Compiler
2,692nklein
Completed Languages:
2 kyu
Algebraic Isomorphism
535lolisa
Completed Languages:
3 kyu
Isomorphism
904lolisa
Completed Languages:
1 kyu
Lensmaker
382tel
Completed Languages:
1 kyu
Peano and Church
321lolisa
Completed Languages:
1 kyu
A+B=B+A? Prove it!
464AJFarmar
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
721AJFarmar
Completed Languages:
1 kyu
Coroutines
312mpickering
Completed Languages:
1 kyu
Scott Encoding
601xenoexplorator
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
380AJFarmar
Completed Languages:
1 kyu
Sure, but can you SKI? (I)
295Voile
Completed Languages:
1 kyu
BECOME IMMORTAL
3,094Voile
Completed Languages:
2 kyu
Yoneda lemma
177pier-bezuhoff
Completed Languages:
Loading more items...