[Haskell-cafe] Free theorem for `forall z. (A,z) -> (B,z)`?
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
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...
Size: 658 bytes
Desc: not available
More information about the Haskell-Cafe