Work It, Wrap It, Fix It, Fold It

This page contains the accompanying code for the paper "Work It, Wrap It, Fix It, Fold It".

The Agda code is available as a tarball, or it can be browsed below as hyperlinked HTML (recommended).



Last updated 5th August 2013.

Valid XHTML 1.0 Strict I'm a Haskeller