Ad
4 kyu
(A+B)+C=A+(B+C)? Prove it!
273ice1000
Completed Languages:
7 kyu
OddsAndEvens: Addition
157bredor
Completed Languages:
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
377ice1000
Completed Languages:
Retired
Church Numbers - Add, Multiply, Exponents
1,034Azuaron
Completed Languages:
Retired
Calculator
11,547obrok
Completed Languages:
4 kyu
JSON Parser
201joebandenburg
Completed Languages:
4 kyu
Snail
75,561stevenbarragan
Completed Languages:
1 kyu
Coroutines
308mpickering
Completed Languages:
1 kyu
Lensmaker
378tel
Completed Languages:
2 kyu
Folding through a fixed point
229tel
Completed Languages:
2 kyu
The most imperative functional language?
331bkaes
Completed Languages:
1 kyu
Peano and Church
320lolisa
Completed Languages:
1 kyu
Simple Interactive Interpreter
2,349Wintermute
Completed Languages:
1 kyu
Scott Encoding
596xenoexplorator
Completed Languages:
2 kyu
Yoneda lemma
174pier-bezuhoff
Completed Languages:
Loading more items...