Transformation framework for complexity analysis
Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src/Tct
.travis.yml
Changelog.md
LICENSE
README.md
Setup.hs
stack.yaml
tct-core.cabal

README.md

tct-core

This package is part of the Tyrolean Complexity Tool (TcT) framework and provides the core functionalities. Check out other the packages available here for instantiations of the framework, for example tct-trs.