flatcurry-type-annotated-3.4.0 ------------------------------ Version 3.4.0 Author Michael Hanus Synopsis Libraries to read and write FlatCurry programs with type annotations Category Metaprogramming Dependencies base >= 3.0.0, < 4.0.0 currypath >= 3.0.0, < 4.0.0 directory >= 3.0.0, < 4.0.0 containers >= 3.0.0, < 4.0.0 extra >= 3.0.0, < 4.0.0 filepath >= 3.0.0, < 4.0.0 flatcurry >= 3.0.0, < 5.0.0 flatcurry-annotated >= 3.3.0, < 4.0.0 frontend-exec >= 3.3.0, < 4.0.0 read-legacy >= 3.0.0, < 4.0.0 rewriting >= 3.0.0, < 4.0.0 scc >= 3.0.0, < 4.0.0 transformers >= 3.0.0, < 4.0.0 Compiler compatibility pakcs >= 3.4.2, < 4.0.0 kics2 >= 3.0.0, < 4.0.0 curry2go >= 1.0.0 kmcc >= 0.3.0 Description This package contain libraries to read and write FlatCurry programs with type annotations. Furthermore, it contains libraries to annotate each expression occurring in a given FlatCurry program with type information. Exported modules FlatCurry.TypeAnnotated.Files FlatCurry.TypeAnnotated.TypeSubst FlatCurry.TypeAnnotated.TypeInference Source Git https://github.com/curry-packages/flatcurry-type-annotated.git@v3.4.0 License BSD-3-Clause License file LICENSE