Ad
6 kyu
Persistent Bugger.
187,388joh_pot
Completed Languages:
2 kyu
A Simple Postfix Language
330mpickering
Completed Languages:
2 kyu
Singletons
444mpickering
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
208yuxuanchiadm
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
369AJFarmar
Completed Languages:
4 kyu
Conway's Game of Life - Unlimited Edition
5,809constablebrew
Completed Languages:
5 kyu
Heterogeneous Equality on sized vectors
37lwoo1999
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
366ice1000
Completed Languages:
1 kyu
Coroutines
296mpickering
Completed Languages:
2 kyu
Finally tagless interpreter
298tel
Completed Languages:
2 kyu
Yoneda lemma
170pier-bezuhoff
Completed Languages:
3 kyu
Data Types à la Carte [fork]
180lolisa
Completed Languages:
Retired
Church Numbers - Add, Multiply, Exponents
1,034Azuaron
Completed Languages:
4 kyu
Snail
71,665stevenbarragan
Completed Languages:
Loading more items...