addtypes-3.0.0 -------------- Version 3.0.0 Author Bernd Brassel Maintainer Michael Hanus Synopsis A tool to add missing type signatures in a Curry program Category Programming Dependencies base >= 3.0.0, < 4.0.0 abstract-curry >= 3.0.0, < 4.0.0 allvalues >= 3.0.0, < 4.0.0 currypath >= 3.0.0, < 4.0.0 process >= 3.0.0, < 4.0.0 transformers >= 3.0.0, < 4.0.0 wl-pprint >= 3.0.0, < 4.0.0 Description This package contains a tool which adds missing type signatures to top-level operations in a Curry module. Moreover, it contains a library to process strings containing Curry source code and classifies it into a few standard categories Executable Name curry-addtypes Main module AddTypes Exported modules AddTypes CurryStringClassifier Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/addtypes.git@v3.0.0 License BSD-3-Clause License file LICENSE