flatcurry-annotated

This package contains libraries to represent FlatCurry programs with arbitrary annotations.