Yet Another Rewriting Tool

I seem to have missed the previously discussed PLT Redex tool, A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.

comments powered by Disqus