Curry Package flatcurry-type-annotated

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)

---