Ad
1 kyu
Modular operations on Finite data type
67solitude
Completed Languages:
1 kyu
Regular Expression for Binary Numbers Divisible by n
1,179hufftheweevil
Completed Languages:
2 kyu
Evaluate mathematical expression
9,577ankr
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
380AJFarmar
Completed Languages:
1 kyu
BECOME IMMORTAL
3,081Voile
Completed Languages:
1 kyu
A*B=B*A? Prove it!
213ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
274ice1000
Completed Languages:
1 kyu
A+B=B+A? Prove it!
463AJFarmar
Completed Languages:
Beta
Identity type: Prove H from J
1mildsunrise
Completed Languages:
2 kyu
String formatting, type-safely
61ice1000
Completed Languages:
1 kyu
Peano and Church
321lolisa
Completed Languages:
3 kyu
Isomorphism
901lolisa
Completed Languages:
3 kyu
Last digit of a huge number
7,741Bodigrim
Completed Languages:
4 kyu
Church numbers
538CarstenKoenig
Completed Languages:
4 kyu
Introduction to bijection, cardinality, and infinite sets
156solitude
Completed Languages:
Loading more items...