Synopsis
Libraries to represent FlatCurry programs with arbitrary annotations
Category
Metaprogramming
Versions
4.0.0 3.3.0 3.0.0 2.0.0 1.0.0
Dependencies
base >= 3.0.0, < 4.0.0 currypath >= 3.0.0, < 4.0.0 directory >= 3.0.0, < 4.0.0 filepath >= 3.0.0, < 4.0.0 flatcurry >= 5.0.0, < 6.0.0 wl-pprint >= 3.0.0, < 4.0.0
Author
Michael Hanus <mh@informatik.uni-kiel.de>
Jonas Oberschweiber <jonas@oberschweiber.com>
Bjoern Peemoeller <bjp@informatik.uni-kiel.de>
Maintainer
Michael Hanus <mh@informatik.uni-kiel.de>
Compiler requirements
pakcs >= 3.3.0, < 4.0.0 kics2 >= 3.0.0, < 4.0.0 curry2go >= 1.0.0 kmcc >= 0.3.0
Exported modules
FlatCurry.Annotated.Types FlatCurry.Annotated.Files FlatCurry.Annotated.Goodies FlatCurry.Annotated.Pretty
Description
This package contain libraries to represent FlatCurry programs with arbitrary annotations.
License
BSD-3-Clause / License file
Further infos:

Uploaded at Dec 1 10:35:03 2025 (UTC)

Succesfully tested at Dec 3 04:17:59 2025

Curry Package flatcurry-annotated

flatcurry-annotated

This package contains libraries to represent FlatCurry programs with arbitrary annotations.

Checkout with CPM:: cypm checkout flatcurry-annotated 4.0.0
Package source:: flatcurry-annotated-4.0.0.tar.gz [browse]
Source repository:: https://github.com/curry-packages/flatcurry-annotated.git