Ad
2 kyu
Yoneda lemma
171pier-bezuhoff
Completed Languages:
1 kyu
Sure, but can you SKI? (I)
290Voile
Completed Languages:
1 kyu
A+B=B+A? Prove it!
453AJFarmar
Completed Languages:
3 kyu
Fabergé Easter Eggs crush test
1,769Ivana
Completed Languages:
1 kyu
Scott Encoding
594xenoexplorator
Completed Languages:
2 kyu
A Simple Postfix Language
337mpickering
Completed Languages:
2 kyu
Folding through a fixed point
228tel
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
710AJFarmar
Completed Languages:
1 kyu
Peano and Church
319lolisa
Completed Languages:
1 kyu
Coroutines
304mpickering
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
374AJFarmar
Completed Languages:
4 kyu
Five Fundamental Monads
903mpickering
Completed Languages:
2 kyu
The most imperative functional language?
328bkaes
Completed Languages:
2 kyu
Algebraic Isomorphism
522lolisa
Completed Languages:
2 kyu
Writing applicative parsers from scratch
338muesli4
Completed Languages:
Loading more items...