Ad
6 kyu
The Supermarket Queue
52,117mattlub
Completed Languages:
7 kyu
You're a square!
277,966bkaes
Completed Languages:
5 kyu
Lambda Calculus: Lists as folds I
89JohanWiltink
Completed Languages:
2 kyu
Evaluate mathematical expression
9,577ankr
Completed Languages:
3 kyu
Isomorphism
901lolisa
Completed Languages:
4 kyu
Brackets paired, Type-safely
49soulomoon
Completed Languages:
Retired
Church Numbers - Add, Multiply, Exponents
1,034Azuaron
Completed Languages:
5 kyu
Simple assembler interpreter
7,916ShinuToki
Completed Languages:
2 kyu
Writing applicative parsers from scratch
341muesli4
Completed Languages:
4 kyu
Five Fundamental Monads
908mpickering
Completed Languages:
3 kyu
Lens Apprentice
238glebec
Completed Languages:
1 kyu
A+B=B+A? Prove it!
463AJFarmar
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
720AJFarmar
Completed Languages:
4 kyu
Smallest possible sum
7,605dkhaburdzania
Completed Languages:
6 kyu
Simple Fun #401: Who Will Get The Autographed Photo Of Mr. Mxyzinjin?
50myjinxin2015
Completed Languages:
Loading more items...