Hello, does type-checking remain decidable (in general) for overlapping instances (:+o in hugs)? -- Christoph
- frantk / overlapping instances Timothy Docker
- Re: frantk / overlapping instances Johannes Waldmann
- RE: frantk / overlapping instances Ch. A. Herrmann
- RE: frantk / overlapping instances Mark P Jones