flatcurry-typed
===============

This package contains libraries to deal with TypedFlatCurry programs.

The package contains the following modules:

* `FlatCurry.Typed.Conversion`: This module provides cnversion from
  TypedFlatCurry to AnnotatedFlatCurry with type-annotations
* `FlatCurry.Typed.Files`: This module defines operations to read and write
  TypedFlatCurry programs.
* `FlatCurry.Typed.Goodies`: This module provides some useful operations
  to select and modify components in TypedFlatCurry programs, i.e.,
  it provides a collection of selector
  and transform functions for TypedFlatCurry.
* `FlatCurry.Typed.Pretty`: This module provides a pretty-printer
  for TypedFlatCurry modules.
* `FlatCurry.Typed.Types`: This module defines the data types to represent
  TypedFlatCurry programs in Curry.