- 1,191 total downloads
- last updated 11/28/2020
- Latest version: 1.0.5
The overall aim of this project is to create a term rewriting system that could be useful in everyday programming, and to represent data in a way that roughly correspond to the definition of a term in formal logic. Terms should be familiar to any programmer because they are basically constants,...
More information