Ad
2 kyu
Finally tagless interpreter
304tel
Completed Languages:
1 kyu
Peano and Church
321lolisa
Completed Languages:
1 kyu
A+B=B+A? Prove it!
460AJFarmar
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
717AJFarmar
Completed Languages:
1 kyu
Tiny Three-Pass Compiler
2,670nklein
Completed Languages:
1 kyu
Coroutines
311mpickering
Completed Languages:
2 kyu
Folding through a fixed point
229tel
Completed Languages:
1 kyu
Lensmaker
380tel
Completed Languages:
3 kyu
Data Types à la Carte [fork]
183lolisa
Completed Languages:
3 kyu
The Millionth Fibonacci Kata
12,242xcthulhu
Completed Languages:
6 kyu
Playing with passphrases
11,537g964
Completed Languages:
6 kyu
Point in Polygon
1,433osuushi
Completed Languages:
2 kyu
I love Lisp
149ice1000
Completed Languages:
2 kyu
The most imperative functional language?
334bkaes
Completed Languages:
1 kyu
Scott Encoding
598xenoexplorator
Completed Languages:
Loading more items...