Ad
6 kyu
Persistent Bugger.
197,420joh_pot
Completed Languages:
2 kyu
A Simple Postfix Language
339mpickering
Completed Languages:
2 kyu
Singletons
450mpickering
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
212yuxuanchiadm
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
379AJFarmar
Completed Languages:
4 kyu
Conway's Game of Life - Unlimited Edition
6,092constablebrew
Completed Languages:
5 kyu
Heterogeneous Equality on sized vectors
39lwoo1999
Completed Languages:
1 kyu
Modular operations on Finite data type
67solitude
Completed Languages:
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
379ice1000
Completed Languages:
1 kyu
Coroutines
309mpickering
Completed Languages:
2 kyu
Finally tagless interpreter
304tel
Completed Languages:
2 kyu
Yoneda lemma
174pier-bezuhoff
Completed Languages:
3 kyu
Data Types à la Carte [fork]
183lolisa
Completed Languages:
Retired
Church Numbers - Add, Multiply, Exponents
1,034Azuaron
Completed Languages:
4 kyu
Snail
75,860stevenbarragan
Completed Languages:
Loading more items...