/TRS

A simple term rewriting engine written in Haskell

Primary LanguageHaskell

Issues