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

John Wiegley johnw at newartisans.com
Tue Jul 24 17:54:40 UTC 2018

>>>>> "JB" == Joachim Breitner <mail at joachim-breitner.de> 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 658 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180724/afd955f4/attachment.sig>

More information about the Haskell-Cafe mailing list