Ad
6 kyu
Persistent Bugger.
194,266joh_pot
Completed Languages:
2 kyu
A Simple Postfix Language
337mpickering
Completed Languages:
2 kyu
Singletons
447mpickering
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
212yuxuanchiadm
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
375AJFarmar
Completed Languages:
4 kyu
Conway's Game of Life - Unlimited Edition
5,992constablebrew
Completed Languages:
5 kyu
Heterogeneous Equality on sized vectors
39lwoo1999
Completed Languages:
1 kyu
Modular operations on Finite data type
66solitude
Completed Languages:
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
376ice1000
Completed Languages:
1 kyu
Coroutines
306mpickering
Completed Languages:
2 kyu
Finally tagless interpreter
302tel
Completed Languages:
2 kyu
Yoneda lemma
171pier-bezuhoff
Completed Languages:
3 kyu
Data Types à la Carte [fork]
182lolisa
Completed Languages:
Retired
Church Numbers - Add, Multiply, Exponents
1,034Azuaron
Completed Languages:
4 kyu
Snail
74,467stevenbarragan
Completed Languages:
Loading more items...