hets -- a heterogenous Specification (CASL) tool setContentsIndex
CASL.MixfixParser
Portability portable
Stability experimental
Maintainer hets@tzi.de
Description

Mixfix analysis of terms

Missing features: - the positions of ids from string, list, number and floating annotations is not changed within applications (and might be misleading)

Synopsis
resolveFormula :: GlobalAnnos -> Set Id -> Set Id -> FORMULA -> Result FORMULA
resolveMixfix :: GlobalAnnos -> Set Id -> Set Id -> Bool -> TERM -> Result TERM
Produced by Haddock version 0.6