flatcurry-typed

This package contains libraries to deal with TypedFlatCurry programs.

The package contains the following modules: