Curry Package flatcurry-annotated

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)

---