FlatCurry.TypeAnnotated.Files
FlatCurry.TypeAnnotated.TypeInference
FlatCurry.TypeAnnotated.TypeSubst
This package contain libraries to read and write FlatCurry programs with type 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)