maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[[maude-help] ] viewing desugared Maude source?

From: Marko Schuetz-Schmuck <MarkoSchuetz AT web.de>
To: maude-help AT lists.cs.illinois.edu
Subject: [[maude-help] ] viewing desugared Maude source?
Date: Tue, 31 Aug 2021 17:31:05 +0200
Authentication-results: ppops.net; spf=pass smtp.mailfrom=MarkoSchuetz AT web.de; dkim=pass header.d=web.de header.s=dbaedf251592

Dear All,

is there a straightforward way to see the desugared source code for Full
Maude source? For example, if I have some (omod ...) can I easily get to
the core Maude source code that this is converted to?

Thanks and best regards,

Marko

Attachment: signature.asc
Description: PGP signature

[[maude-help] ] viewing desugared Maude source?, Marko Schuetz-Schmuck, 08/31/2021
- Re: [[maude-help] ] viewing desugared Maude source?, Paco Durán, 08/31/2021