start | find | index | login or register | edit
Maude
by earl, 5165 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/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 7448 days • c'est un vanilla site