Re: Proposal for syntax changes in Curry

From: Wolfgang Lux <lux_at_helios.uni-muenster.de>
Date: Fri, 23 Oct 1998 15:54:13 +0100

> Huh? foo's rules are *not* overlapping (unless 1 unifies with 9 :-).

Ooops, seems if my thoughts were overlapping here.

--
Wolfgang Lux				  Phone: +49-251-83-38263
Institut fuer Wirtschaftinformatik	    FAX: +49-251-83-38259
Universitaet Muenster		Email: lux_at_helios.uni-muenster.de
Received on Fr Okt 23 1998 - 17:02:00 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:05 CET