[Haskell-cafe] C9 video on monads and coordinate systems
lgreg.meredith at biosimilarity.com
Thu Jul 8 11:31:16 EDT 2010
Thanks for your note! Here's some quick and dirty code to get the point
data T v = Constant Bool -- just to let us get off the ground...
| Mention v | Abstraction [v] (T v) | Application (T v) (T v)
deriving (Eq, Show)
data RN t = RN ( t, [((RN t), t)] ) deriving (Eq, Show)
data RT = RT (T (RN RT)) deriving (Eq, Show)
On Thu, Jul 8, 2010 at 6:15 AM, Felipe Lessa <felipe.lessa at gmail.com> wrote:
> On Wed, Jul 7, 2010 at 8:00 PM, Greg Meredith
> <lgreg.meredith at biosimilarity.com> wrote:
> > Dear Haskellians,
> > You may be interested in this video i did with Brian Beckman on monads,
> > location and coordinate systems.
> Great, nice jamming! I wonder what's the URL of the Haskell code you
> have, however :).
1219 NW 83rd St
Seattle, WA 98117
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe