FlatCurry.Annotated.Goodies
FlatCurry.Annotated.Pretty
FlatCurry.Annotated.TypeInference
FlatCurry.Annotated.TypeSubst
FlatCurry.Annotated.Types
This package contain libraries to represent FlatCurry programs with arbitrary annotations. Furthermore, it contains libraries to annotate each expression occurring in a given FlatCurry program with type information.
Detailed package documentation (available shortly after this version has been published)