Beta
SKI-ing in Chicken's style 2: Church arithmetic and recursive functions
10
Beta Status:Awaiting approval
4 kyu
SKI-ing in Chicken's style
26
2 kyu
Nat in the mirror, Full version
30
4 kyu
Rewriting on any binary equivalence relation
41
4 kyu
Factorial divisibility a.k.a. binomial coefficient
33
5 kyu
EM implies LPO, LPO implies LLPO
81
5 kyu
Nat in the mirror: "Not finite" implies "Infinite"
43
5 kyu
Exploring ways to evaluate and compile a trivial language
88
5 kyu
Yet another introduction to bisimulation, Chicken's style
60
2 kyu
Cardinality of N and N x N
45
4 kyu
Introduction to bijection, cardinality, and infinite sets
156
5 kyu
A bit of fun with proofs on inequalities
22
4 kyu
A special set of matrices with unique representation
52
4 kyu
A special set of matrices closed under matmul and transpose
36
1 kyu
Modular operations on Finite data type
67
Loading more items...