Ad
1 kyu
Modular operations on Finite data type
67solitude
Completed Languages:
1 kyu
Regular Expression for Binary Numbers Divisible by n
1,171hufftheweevil
Completed Languages:
2 kyu
Evaluate mathematical expression
9,508ankr
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
379AJFarmar
Completed Languages:
1 kyu
BECOME IMMORTAL
3,057Voile
Completed Languages:
1 kyu
A*B=B*A? Prove it!
212ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
273ice1000
Completed Languages:
1 kyu
A+B=B+A? Prove it!
460AJFarmar
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
895lolisa
Completed Languages:
3 kyu
Last digit of a huge number
7,678Bodigrim
Completed Languages:
4 kyu
Church numbers
536CarstenKoenig
Completed Languages:
4 kyu
Introduction to bijection, cardinality, and infinite sets
156solitude
Completed Languages:
Loading more items...