<div dir="auto">Hi Brian, this sounds like fun.  Let's talk off-list and see if we can set something up for next week (unless someone else already replied).<div dir="auto"><br></div><div dir="auto">-Brent</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, May 9, 2019, 4:52 PM Brian Merchant <<a href="mailto:bhmerchant@gmail.com">bhmerchant@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">
<div>Hi all,<br></div><div><br></div><div>I am a student in mathematics exploring alternative ways in which the transfer principle (
<a href="https://en.wikipedia.org/wiki/Transfer_principle" target="_blank" rel="noreferrer">https://en.wikipedia.org/wiki/Transfer_principle</a>

) can be proved.</div><div><br></div><div>I've found a paper by Ralf Hinze which I think is relevant: 
<a href="https://www.cs.ox.ac.uk/ralf.hinze/Lifting.pdf" target="_blank" rel="noreferrer">https://www.cs.ox.ac.uk/ralf.hinze/Lifting.pdf</a>.
 However, I'd benefit from being able to talk to someone who understands
 the notation starting section 3 and onwards, as I am very much a 
Haskell newbie (everything I have learned, has been in the last 4 days, 
as I try to decipher this paper). <br><br></div><div>Would anyone be willing to have a conversation with me regarding this?</div><div><br></div><div>Kind regards,<br></div><div>Brian</div>

</div>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>