<div dir="ltr">Awesome video, I watched it about ten times in a row and so many pennies dropped.</div><div class="gmail_extra"><br><div class="gmail_quote">On 25 November 2015 at 16:35, Stephen Renehan <span dir="ltr"><<a href="mailto:d11124067@mydit.ie" target="_blank">d11124067@mydit.ie</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Matthew,<br>
<br>
Was just about to reply that I only have the process written in long<br>
hand from the video that I enclose but I see Francesco beat me to it<br>
with a more concise explanation. Thanks again Francesco :)<br>
<br>
<a href="https://www.youtube.com/watch?v=ZhuHCtR3xq8" rel="noreferrer" target="_blank">https://www.youtube.com/watch?v=ZhuHCtR3xq8</a><br>
<div class="HOEnZb"><div class="h5"><br>
<br>
On 25 November 2015 at 15:48, MJ Williams <<a href="mailto:matthewjwilliams101@gmail.com">matthewjwilliams101@gmail.com</a>> wrote:<br>
> [snip]<br>
><br>
>> I don't think there is a way to /prove/ f (g a) == g (f a) if their domain<br>
>> is not finite inside Haskell (you could do it with pen and paper).<br>
><br>
> [snip]<br>
>         Just out of interest, could you demonstrate the proof without a<br>
> finite domain?<br>
><br>
> Sincerely, Matthew<br>
><br>
><br>
> _______________________________________________<br>
> Beginners mailing list<br>
> <a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
<br>
</div></div><span class="im HOEnZb">--<br>
<br>
<br>
This email originated from DIT. If you received this email in error, please<br>
delete it from your system. Please note that if you are not the named<br>
addressee, disclosing, copying, distributing or taking any action based on<br>
the contents of this email or attachments is prohibited. <a href="http://www.dit.ie" rel="noreferrer" target="_blank">www.dit.ie</a><br>
<br>
Is ó ITBÁC a tháinig an ríomhphost seo. Má fuair tú an ríomhphost seo trí<br>
earráid, scrios de do chóras é le do thoil. Tabhair ar aird, mura tú an<br>
seolaí ainmnithe, go bhfuil dianchosc ar aon nochtadh, aon chóipeáil, aon<br>
dáileadh nó ar aon ghníomh a dhéanfar bunaithe ar an ábhar atá sa<br>
ríomhphost nó sna hiatáin seo. <a href="http://www.dit.ie" rel="noreferrer" target="_blank">www.dit.ie</a><br>
<br>
Tá ITBÁC ag aistriú go Gráinseach Ghormáin – DIT is on the move to<br>
Grangegorman <<a href="http://www.dit.ie/grangegorman" rel="noreferrer" target="_blank">http://www.dit.ie/grangegorman</a>><br>
</span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
</div></div></blockquote></div><br></div>