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