maude-help AT lists.siebelschool.illinois.edu
Subject: Maude-help mailing list
List archive
- 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."
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.