On Wed, Aug 01, 2007 at 03:44:32PM +1000, Thomas Conway wrote:
This sounds like a common problem type. Is there a well known solution
to this sort of problem?
Mmm... logic programming?
http://citeseer.ist.psu.edu/claessen00typed.html
You'll only need the code for logic-variables, and even
Derek Elkins wrote:
On Tue, 2007-07-31 at 23:04 -0700, Stefan O'Rear wrote:
On Wed, Aug 01, 2007 at 03:44:32PM +1000, Thomas Conway wrote:
This sounds like a common problem type. Is there a well known solution
to this sort of problem?
Mmm... logic programming?
On Wednesday 01 August 2007 17:44, Thomas Conway wrote:
This sounds like a common problem type. Is there a well known solution
to this sort of problem?
Have you looked into Tying the Knot?
http://www.haskell.org/haskellwiki/Tying_the_Knot
A simple example:
module Knot where
import Data.Char
On 8/2/07, Daniel McAllansmith [EMAIL PROTECTED] wrote:
On Wednesday 01 August 2007 17:44, Thomas Conway wrote:
This sounds like a common problem type. Is there a well known solution
to this sort of problem?
Have you looked into Tying the Knot?
Hi All,
One of the things I've been working on lately is some ASN.1 stuff.One
of the first things I wrote in Haskell was an ASN.1 parser. It only
worked for a subset, and I'm revisiting it to make it handle a
larger subset.
One of the things that gets messy is that in lots of places you can
put
