[Haskell-cafe] Proof in Haskell

Sjoerd Visscher sjoerd at w3future.com
Thu Dec 23 15:27:05 CET 2010

On Dec 21, 2010, at 6:57 PM, austin seipp wrote:

> https://gist.github.com/750279

I took Austins code and modified it to run on a Tree GADT which is parameterized by its shape:


Would this count as a function mirror with proof that mirror (mirror x) == x?

Sjoerd Visscher

More information about the Haskell-Cafe mailing list