aboutsummaryrefslogtreecommitdiff
path: root/development/maude
AgeCommit message (Expand)Author
2020-10-17development/maude: Fix README.B. Watson
2017-03-25development/maude: Fix info.B. Watson
2016-11-14development/maude: Fix slack-desc.B. Watson
2016-11-03development/maude: Added (high-performance reflective language).Roberto Metere