New exercises
Equality on unordered pairs
Merge sort
(after
Epigram Tutorial, by Conor McBride
)
On Well founded sets and the axiom of Functional Choice (January 6th, 2006)
On Partial functions (October 6th, 2005)
On Goodstein Sequences (April 28th, 2005)
On the danger of evaluation (April 13th, 2005)
Equivalence of two definitions of permutations (by Houda Anoun) (March 23, 2005)
Building
Z
from
nat * nat