Repository navigation

htrs

Public

About

Term Rewriting System interpreter that implements the type interface.

haskell interpreter trs

BSD-3-Clause license

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
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

Repository files navigation

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

About

Term Rewriting System interpreter that implements the type interface.

haskell interpreter trs

BSD-3-Clause license

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages