Cool! That goes on my list for further study.
(I have a work-in-progress of something similar for description logics.)
#g --
At 15:01 22/10/04 -0700, Brian Beckman wrote:
Content-class: urn:content-classes:message Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C4B882.A1CF3A2A"
on my blog (<http://weblogs.asp.net/brianbec>http://weblogs.asp.net/brianbec) , i've posted a couple of Haskell gadgets. One is a simulator for the "relational algebra" of database theory. The other is just an expansion of one of Paul Hudak's derivations of State monads.
_______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
------------ Graham Klyne For email: http://www.ninebynine.org/#Contact
_______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe