Maude
by earl, 6379 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
38 active users
- unknown (38)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
