Ad
5 kyu
Square sums (simple)
1,236metalim
Completed Languages:
5 kyu
Last digit of a large number
24,760dburgoyne
Completed Languages:
2 kyu
Finally tagless interpreter
303tel
Completed Languages:
4 kyu
Introduction to bijection, cardinality, and infinite sets
155solitude
Completed Languages:
8 kyu
Triple negation
202khanh93
Completed Languages:
4 kyu
Twice linear
22,559g964
Completed Languages:
2 kyu
I love Lisp
149ice1000
Completed Languages:
4 kyu
Smallest possible sum
7,358dkhaburdzania
Completed Languages:
4 kyu
Explosive Sum
8,415surtich
Completed Languages:
5 kyu
Weight for weight
53,626g964
Completed Languages:
1 kyu
Simple Interactive Interpreter
2,336Wintermute
Completed Languages:
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
377ice1000
Completed Languages:
2 kyu
Singletons
448mpickering
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
375AJFarmar
Completed Languages:
1 kyu
Sure, but can you SKI? (I)
291Voile
Completed Languages:
Loading more items...