tct-hoca

This executable is part of the Tyrolean Complexity Tool (TcT) and provides automatic complexity analysis of higher-order-systems. It bundles

Requirements

The tool is only tested under GNU/Linux.

For building, you need ghc and stack. Execute stack build.

The installation provides an executable tct-hoca. For full options, run tct-hoca --help.

Name		Name	Last commit message	Last commit date
Latest commit History 26 Commits
examples		examples
src/Tct/Hoca		src/Tct/Hoca
tct-hoca		tct-hoca
.ghci		.ghci
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
stack-13.20.yaml		stack-13.20.yaml
tct-hoca.cabal		tct-hoca.cabal