WCoetser/TRL
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
=== Update 20 October 2020 - A newer/better version of this is under construction here - https://github.com/WCoetser/Trl.TermDataRepresentation === LICENSE This program is an implementation of the Term Rewriting Language, or TRL. In that sense it is also a specification for TRL by giving a reference implementation. It contains a parser and interpreter. Copyright (C) 2012 Wikus Coetser This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>.
About
This program is an implementation of the Term Rewriting Language, or TRL. In that sense it is also a specification for TRL by giving a reference implementation. It contains a parser and interpreter.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published