Skip to Content.

Sympa Menu

maude-help - [Maude-help] Turn Maude expression into string

List Options Menu

maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Turn Maude expression into string

From: Matthew Rocklin <mrocklin AT cs.uchicago.edu>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Turn Maude expression into string
Date: Wed, 6 Jun 2012 15:49:40 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Is there a way to turn a Maude _expression_ into a string?

I'm looking for the equivalent of Haskell's "show."

--

Matthew Rocklin

University of Chicago

Computer Science PhD Student

[Maude-help] Turn Maude expression into string, Matthew Rocklin, 06/06/2012
- Re: [Maude-help] Turn Maude expression into string, Steven Eker, 06/06/2012

Archive powered by MHonArc 2.6.16.