23 Dec
2010
23 Dec
'10
2:27 p.m.
On Dec 21, 2010, at 6:57 PM, austin seipp wrote:
I took Austins code and modified it to run on a Tree GADT which is parameterized by its shape: https://gist.github.com/752982 Would this count as a function mirror with proof that mirror (mirror x) == x? -- Sjoerd Visscher