Open
Description
It would be nice to create an environment for exploring TRSs. Some sort of binary that allows for either batch evaluation and/or a REPL could make it much easier to test and debug TRSs.
{{ message }}
No one assigned
No projects
No milestone
None yet
No branches or pull requests