Ad
1 kyu
Modular operations on Finite data type
67solitude
Completed Languages:
1 kyu
Regular Expression for Binary Numbers Divisible by n
1,188hufftheweevil
Completed Languages:
2 kyu
Evaluate mathematical expression
9,629ankr
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
381AJFarmar
Completed Languages:
1 kyu
BECOME IMMORTAL
3,113Voile
Completed Languages:
1 kyu
A*B=B*A? Prove it!
218ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
278ice1000
Completed Languages:
1 kyu
A+B=B+A? Prove it!
467AJFarmar
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
322lolisa
Completed Languages:
3 kyu
Isomorphism
907lolisa
Completed Languages:
3 kyu
Last digit of a huge number
7,777Bodigrim
Completed Languages:
4 kyu
Church numbers
540CarstenKoenig
Completed Languages:
4 kyu
Introduction to bijection, cardinality, and infinite sets
156solitude
Completed Languages:
Loading more items...