Ad
2 kyu
Folding through a fixed point
232tel
Completed Languages:
1 kyu
Lensmaker
387tel
Completed Languages:
1 kyu
Coroutines
314mpickering
Completed Languages:
1 kyu
Modular operations on Finite data type
67solitude
Completed Languages:
1 kyu
Tiny Three-Pass Compiler
2,743nklein
Completed Languages:
1 kyu
Left, left! Right, right! Comp! Symmetric! Q!E!D!
49ice1000
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
383AJFarmar
Completed Languages:
1 kyu
Sure, but can you SKI? (I)
297Voile
Completed Languages:
2 kyu
The most imperative functional language?
338bkaes
Completed Languages:
3 kyu
Simply typed lambda calculus type checker
21ice1000
Completed Languages:
1 kyu
A*B=B*A? Prove it!
220ice1000
Completed Languages:
3 kyu
I~ transport lemmas so right, proving the wrong thing
51ice1000
Completed Languages:
4 kyu
Counting Change Combinations
10,973leakymirror
Completed Languages:
2 kyu
Finally tagless interpreter
308tel
Completed Languages:
1 kyu
A+B=B+A? Prove it!
467AJFarmar
Completed Languages:
Loading more items...