Send Beginners mailing list submissions to
[email protected]
To subscribe or unsubscribe via the World Wide Web, visit
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
[email protected]
You can reach the person managing the list at
[email protected]
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."
Today's Topics:
1. Re: Simple function comparison (Kim-Ee Yeoh)
----------------------------------------------------------------------
Message: 1
Date: Thu, 26 Nov 2015 18:53:09 +0700
From: Kim-Ee Yeoh <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Simple function comparison
Message-ID:
<CAPY+ZdQ+xTDKFfHYhkUMCUQXEUoQAgf=6ea73jmdvydigea...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
On Thu, Nov 26, 2015 at 6:20 PM, MJ Williams <[email protected]>
wrote:
therefore f ( g a ) = g ( f a ) . (transitivity)
If you're interested in getting a firm grasp of airtight proofs -- with a
view toward Haskell (and Agda and Idris) mastery -- you might want to pick
and choose your way through the web-based proof exercises here:
https://www.coursera.org/course/intrologic
This is a course firmly in the American analytic philosophy tradition, so
Logic here is Symbolic Logic. Bonus: the course keeps AI and Machine
Learning applications in the backdrop.
It's unfortunate that it's some kind of well-kept secret.
Those who don't need it -- because they've obtained the knowledge elsewhere
-- won't know about it. And those who do want that knowledge also won't
know about it.
Did I mention the exercises are web-based? Yes, you get instantaneous
feedback on whether you've got a correct proof or not.
-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20151126/2e27ad5a/attachment-0001.html>
------------------------------
Subject: Digest Footer
_______________________________________________
Beginners mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
------------------------------
End of Beginners Digest, Vol 89, Issue 46
*****************************************
