Maude
by earl, 6168 days ago
"Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications."- http://maude.cs.uiuc.edu/
search
2 active users
- unknown (2)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
