Link to Swansea University Link to Computer Science Logo for Swansea University and Computer Science

Work It, Wrap It, Fix It, Fold It

This page contains supplementary material for the article "Work It, Wrap It, Fix It, Fold It".

A mechanical verification of the proofs in Agda is available as a tarball, or it can be browsed below as hyperlinked HTML (recommended).



Last updated 17th February 2015.

Valid XHTML 1.0 Strict I'm a Haskeller