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 16th February 2016.

Valid XHTML 1.0 Strict I'm a Haskeller