package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install

Dune Dependency

Authors

Maintainers

Sources

acg-2.0.0-20231009.tar.gz
sha512=e0c72426381259e9ce599c160f83ecf411eaf48b8b050d9c3e87b63d124a719cbc58101892e9594ea30c6ad8950b0dc66c84debca1ca3c370d81fc6654afd21c

README.md.html

README.md

ACG development toolkit

Copyright 2008-2023 INRIA

More information on "https://acg.loria.fr/" License: CeCILL, see the LICENSE file or "http://www.cecill.info" Authors: see the AUTHORS file

ACGtk: an ACG development toolkit

ACGtk is a software package (2008-2023 INRIA©) for the development of abstract categorial grammars. This distribution provides two executables: acgc and acg.

It is distributed with the CeCILL license (see the LICENSE file or http://www.cecill.info). Contributors are listed in the AUTHORS.md file.

A list of related publications is available at the ACG web page.

acgc

acgc is a "compiler" of ACG source code, i.e., files containing definitions of signatures and lexicons. It basically checks whether they are correctly written (syntactically and w.r.t. types and constant typing) and outputs an .acgo object file.

Run

./acgc --help

to get help.

acg

acg is an interpreter of command meant to be useful when using ACGs. To get a list of command, run

./acg

then, on the prompt, type

ACGtk> help

Example files are given in the examples directory. Read the README.md file.

More detailed documentation is available for users and developers.

OCaml

Innovation. Community. Security.