HTRS

HTRS is Term Rewriting System(TRS) interpriter.

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

TBD

Akito Kasai

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
app		app
sample_trs		sample_trs
src		src
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
htrs.cabal		htrs.cabal
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Provide feedback