Re: Non-deterministic operation

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Sergio Antoy <antoy_at_cs.pdx.edu>
Date: Mon, 7 Jun 2004 08:55:30 -0700

This is a good idea long overdue. This operation, with name "!",
is alread defined in the Combinatorial library distributed with
pakcs. The library should be updated too.

Sergio
Received on Di Jun 08 2004 - 08:55:01 CEST

This message: [ Message body ]
Next message: Frank Huch: "IFL'04 16th International Workshop on Implementation and Application of Functional Languages"
Previous message: Michael Hanus: "Non-deterministic operation"
In reply to: Michael Hanus: "Non-deterministic operation"
Next in thread: Herbert Kuchen: "Re: Non-deterministic operation"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:06 CEST