Ad
2 kyu
Nat in the mirror, Full version
29solitude
Completed Languages:
5 kyu
EM implies LPO, LPO implies LLPO
79solitude
Completed Languages:
Retired
Church Numbers - Add, Multiply, Exponents
1,034Azuaron
Completed Languages:
3 kyu
Recurrence relations
279Ivana
Completed Languages:
3 kyu
Data Types à la Carte
361mpickering
Completed Languages:
3 kyu
Lens Apprentice
238glebec
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
212yuxuanchiadm
Completed Languages:
1 kyu
A*B=B*A? Prove it!
213ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
274ice1000
Completed Languages:
2 kyu
Challenge Fun #18: Freak Contaz Sequence
249myjinxin2015
Completed Languages:
2 kyu
Count them all!
169pier-bezuhoff
Completed Languages:
2 kyu
Yoneda lemma
176pier-bezuhoff
Completed Languages:
2 kyu
Finally tagless interpreter
305tel
Completed Languages:
1 kyu
Simple Interactive Interpreter
2,373Wintermute
Completed Languages:
1 kyu
Tiny Three-Pass Compiler
2,684nklein
Completed Languages:
Loading more items...