Ad
5 kyu
Greed is Good
56,984JulianNicholls
Completed Languages:
4 kyu
Hamming Numbers
11,654xcthulhu
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
379AJFarmar
Completed Languages:
1 kyu
Sure, but can you SKI? (I)
295Voile
Completed Languages:
1 kyu
Scott Encoding
598xenoexplorator
Completed Languages:
1 kyu
A*B=B*A? Prove it!
212ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
273ice1000
Completed Languages:
1 kyu
A+B=B+A? Prove it!
461AJFarmar
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
717AJFarmar
Completed Languages:
2 kyu
I love Lisp
149ice1000
Completed Languages:
2 kyu
The most imperative functional language?
334bkaes
Completed Languages:
2 kyu
Finally tagless interpreter
304tel
Completed Languages:
2 kyu
Count them all!
169pier-bezuhoff
Completed Languages:
3 kyu
Isomorphism
895lolisa
Completed Languages:
2 kyu
Yoneda lemma
175pier-bezuhoff
Completed Languages:
Loading more items...