Ad
1 kyu
Tiny Three-Pass Compiler
2,716nklein
Completed Languages:
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
385ice1000
Completed Languages:
2 kyu
Folding through a fixed point
230tel
Completed Languages:
8 kyu
Triple negation
205khanh93
Completed Languages:
8 kyu
Every symmetric transitive relation is reflexive... right?
125b-mehta
Completed Languages:
3 kyu
Data Types à la Carte
362mpickering
Completed Languages:
4 kyu
Five Fundamental Monads
911mpickering
Completed Languages:
1 kyu
Peano and Church
323lolisa
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
278ice1000
Completed Languages:
1 kyu
Scott Encoding
603xenoexplorator
Completed Languages:
6 kyu
Prefill an Array
13,219user5854572
Completed Languages:
6 kyu
IPv4 to int32
10,978sahglie
Completed Languages:
7 kyu
SevenAte9
6,172debri
Completed Languages:
7 kyu
Discover The Original Price
7,497ahamidou
Completed Languages:
6 kyu
Multi-tap Keypad Text Entry on an Old Mobile Phone
13,264mroth
Completed Languages:
Loading more items...