Re: [Haskell-cafe] Free theorem for `forall z. (A,z) -> (B,z)`?

...

...

...

...

"JB" == Joachim Breitner writes:

JB> I felt inspired to revive the free theorem calculator and gave it a new JB> home (and a modern, browser-only, FRP-based implementation): Thank you, Joachim! I've used that calculator often, and was sad to see it shut down. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2