Lesson learned: for next year, write a Haskell program that tells if a given -cafe thread or reddit discussion is a April Fool's joke or not.<br><br><div class="gmail_quote">On Sun, Apr 1, 2012 at 7:10 PM, Christopher Done <span dir="ltr"><<a href="mailto:chrisdone@googlemail.com">chrisdone@googlemail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I actually read the first couple paragraphs and thought “sounds<br>
interesting I'll read it later”. After reading it properly, I lol'd.<br>
<div class="im HOEnZb"><br>
> After some initial feedback, I'm going to create a page for the<br>
> Homotopy Extensional Records Proposal (HERP) on trac. There are really<br>
> only a few remaining questions. 1) Having introduced homotopies, why<br>
> not go all the way and introduce dependent records? In fact, are HERP<br>
> and Dependent Extensional Records Proposal (DERP) already isomorphic?<br>
> My suspicion is that HERP is isomorphic, but DERP is not.<br>
<br>
</div><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br>Alp Mestanogullari<br>