Difference between revisions of "Maude 2 Primer and Examples"

From The Maude System
Jump to: navigation, search
(Created the Maude Primer page)
 
(No difference)

Latest revision as of 02:01, 22 July 2014

A primer written for Maude 2.0.1 (but mostly applicable for later versions too) is available at PDF format. The examples are available as a tarred gzipped archive.

Retrieved from "https://maude.cs.illinois.edu/w/index.php?title=Maude_2_Primer_and_Examples&oldid=17"