maude-help AT lists.siebelschool.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Francisco Jurado <pacopocopico AT tutamail.com>
- To: maude-help AT lists.siebelschool.illinois.edu
- Subject: [[maude-help] ] INT / FLOAT conflict
- Date: Thu, 7 Aug 2025 06:52:47 -0500
¿How to solve conflicts beetwen INT an FLOAT modules when we need a common
supersort?
-
[[maude-help] ] INT / FLOAT conflict,
Francisco Jurado, 08/07/2025
- Re: [[maude-help] ] INT / FLOAT conflict, Steven, 08/07/2025
Archive powered by MHonArc 2.6.24.