/htrs

Term Rewriting System interpreter that implements the type interface.

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

HTRS

HTRS is Term Rewriting System(TRS) interpriter.

Installation

$ git clone https://github.com/akito19/htrs
$ cd htrs
$ stack install

Term Rewriting System

TBD

Author

Akito Kasai