F

flatcurry-type-annotated

Libraries to read and write FlatCurry programs with type annotations