Synopsis
Libraries to represent FlatCurry programs with arbitrary annotations
Category
Metaprogramming
Versions
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 >= 3.0.0, < 4.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
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 Sep 14 12:06:11 2021 (UTC)

Succesfully tested at Mar 13 04:12:01 2024

Curry Package flatcurry-annotated

flatcurry-annotated

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

Checkout with CPM:: cypm checkout flatcurry-annotated 3.3.0
Package source:: flatcurry-annotated-3.3.0.tar.gz [browse]
Source repository:: https://git.ps.informatik.uni-kiel.de/curry-packages/flatcurry-annotated.git