New exercises
Equality on unordered pairs
A Coercion from vectors of length 2 to ordered pairs
(January 7th, 2008)
A Coercion from natural numbers into ordinals
(January 7ht, 2008)
Merge sort (January 31th, 2007
(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)
An exercise on setoids
Going home
Pierre Castéran