Dear Felipe,<div><br></div><div>Thanks for your note! Here's some quick and dirty code to get the point across.</div><div><br></div><div><span class="Apple-style-span" style="font-family: 'lucida grande', tahoma, verdana, arial, sans-serif; font-size: 11px; color: rgb(51, 51, 51); "><h3 class="UIIntentionalStory_Message" style="font-size: 13px; color: rgb(51, 51, 51); margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; font-weight: normal; overflow-x: hidden; overflow-y: hidden; ">
<span class="UIStory_Message">data T v = Constant Bool -- just to let us get off the ground... <br>| Mention v | Abstraction [v] (T v) | Application (T v) (T v) <br>deriving (Eq, Show) <br>data RN t = RN ( t, [((RN t), t)] ) deriving (Eq, Show) <br>
data RT = RT (T (RN RT)) deriving (Eq, Show)</span></h3></span></div><div><br></div><div>Best wishes,</div><div><br></div><div>--greg<br><br><div class="gmail_quote">On Thu, Jul 8, 2010 at 6:15 AM, Felipe Lessa <span dir="ltr"><<a href="mailto:felipe.lessa@gmail.com">felipe.lessa@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im">On Wed, Jul 7, 2010 at 8:00 PM, Greg Meredith<br>
<<a href="mailto:lgreg.meredith@biosimilarity.com">lgreg.meredith@biosimilarity.com</a>> wrote:<br>
> Dear Haskellians,<br>
> You may be interested in this video i did with Brian Beckman on monads,<br>
> location and coordinate systems.<br>
<br>
</div>Great, nice jamming! I wonder what's the URL of the Haskell code you<br>
have, however :).<br>
<br>
Cheers,<br>
<br>
--<br>
<font color="#888888">Felipe.<br>
</font></blockquote></div><br><br clear="all"><br>-- <br>L.G. Meredith<br>Managing Partner<br>Biosimilarity LLC<br>1219 NW 83rd St <br>Seattle, WA 98117<br><br>+1 206.650.3740<br><br><a href="http://biosimilarity.blogspot.com">http://biosimilarity.blogspot.com</a><br>
</div>