Ad
2 kyu
Assembler interpreter (part II)
2,676ShinuToki
Completed Languages:
2 kyu
Yoneda lemma
177pier-bezuhoff
Completed Languages:
1 kyu
A*B=B*A? Prove it!
218ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
277ice1000
Completed Languages:
1 kyu
Sure, but can you SKI? (I)
297Voile
Completed Languages:
1 kyu
A+B=B+A? Prove it!
467AJFarmar
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
725AJFarmar
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
381AJFarmar
Completed Languages:
1 kyu
Tiny Three-Pass Compiler
2,699nklein
Completed Languages:
1 kyu
Scott Encoding
601xenoexplorator
Completed Languages:
5 kyu
Scramblies
56,071joh_pot
Completed Languages:
2 kyu
The most untyped typed language?
83yihongz
Completed Languages:
2 kyu
Evaluate mathematical expression
9,629ankr
Completed Languages:
2 kyu
Algebraic Isomorphism
537lolisa
Completed Languages:
4 kyu
Five Fundamental Monads
910mpickering
Completed Languages:
Loading more items...