Ad
1 kyu
Modular operations on Finite data type
69solitude
Completed Languages:
1 kyu
Regular Expression for Binary Numbers Divisible by n
1,270hufftheweevil
Completed Languages:
2 kyu
Evaluate mathematical expression
10,234ankr
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
389AJFarmar
Completed Languages:
1 kyu
BECOME IMMORTAL
3,335Voile
Completed Languages:
1 kyu
A*B=B*A? Prove it!
224ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
293ice1000
Completed Languages:
1 kyu
A+B=B+A? Prove it!
479AJFarmar
Completed Languages:
Beta
Identity type: Prove H from J
1mildsunrise
Completed Languages:
2 kyu
String formatting, type-safely
63ice1000
Completed Languages:
1 kyu
Peano and Church
332lolisa
Completed Languages:
3 kyu
Isomorphism
959lolisa
Completed Languages:
3 kyu
Last digit of a huge number
8,121Bodigrim
Completed Languages:
4 kyu
Church numbers
575CarstenKoenig
Completed Languages:
4 kyu
Introduction to bijection, cardinality, and infinite sets
160solitude
Completed Languages:
Loading more items...