Opam Package acgtk.1.5.2

Package info

opam-nameacgtk
opam-version1.5.2
synopsisAbstract Categorial Grammar development toolkit
descriptionThis toolkit provides a compiler and an interpreter for Abstract Categorial Grammars (ACGs). Grammars can be compiled and then used by the interpreter to parse (if the grammar is at most second-order) or to generate terms. See http://acg.loria.fr for more details and bibliographic references.
authors
  • Sylvain Pogodalla
homepagehttp://acg.loria.fr/
licenseCeCILL-1.0+
changes-fileCHANGES.md
license-fileLICENSE.md
readme-fileREADME.md
changes-fileCHANGES.md
license-fileLICENSE.md
readme-fileREADME.md
readme-fileREADME.md
deps (14)
revdeps(0)
metas (6)
libraries (4)

Package modules

Package sources

acgtk

Package files

share/emacs/site-lisp/acg.el
share/acgtk/examples/tag.acg
share/acgtk/examples/tag-script
share/acgtk/examples/tag-fr.acg
share/acgtk/examples/strings.acg
share/acgtk/examples/montague.acg
share/acgtk/examples/montague-script
share/acgtk/examples/montague-fr.acg
share/acgtk/examples/demo-script
share/acgtk/examples/config.json
share/acgtk/examples/cfg.acg
share/acgtk/examples/anbncndn.acg
share/acgtk/examples/README.md
share/acgtk/examples/README
share/acgtk/examples/MK-lecture-example.acg
share/acgtk/examples/Jean-regarde-telescope.acg
share/acgtk/examples
share/acgtk
lib/acgtkLib/utilsLib/warnings.mli
lib/acgtkLib/utilsLib/warnings.ml
lib/acgtkLib/utilsLib/version.mli
lib/acgtkLib/utilsLib/version.ml
lib/acgtkLib/utilsLib/utilsLib__Warnings.cmx
lib/acgtkLib/utilsLib/utilsLib__Warnings.cmti
lib/acgtkLib/utilsLib/utilsLib__Warnings.cmt
lib/acgtkLib/utilsLib/utilsLib__Warnings.cmi
lib/acgtkLib/utilsLib/utilsLib__Version.cmx
lib/acgtkLib/utilsLib/utilsLib__Version.cmti
lib/acgtkLib/utilsLib/utilsLib__Version.cmt
lib/acgtkLib/utilsLib/utilsLib__Version.cmi
lib/acgtkLib/utilsLib/utilsLib__Utils.cmx
lib/acgtkLib/utilsLib/utilsLib__Utils.cmti
lib/acgtkLib/utilsLib/utilsLib__Utils.cmt
lib/acgtkLib/utilsLib/utilsLib__Utils.cmi
lib/acgtkLib/utilsLib/utilsLib__Tries.cmx
lib/acgtkLib/utilsLib/utilsLib__Tries.cmti
lib/acgtkLib/utilsLib/utilsLib__Tries.cmt
lib/acgtkLib/utilsLib/utilsLib__Tries.cmi
lib/acgtkLib/utilsLib/utilsLib__Table.cmx
lib/acgtkLib/utilsLib/utilsLib__Table.cmti
lib/acgtkLib/utilsLib/utilsLib__Table.cmt
lib/acgtkLib/utilsLib/utilsLib__Table.cmi
lib/acgtkLib/utilsLib/utilsLib__SharedForest.cmx
lib/acgtkLib/utilsLib/utilsLib__SharedForest.cmti
lib/acgtkLib/utilsLib/utilsLib__SharedForest.cmt
lib/acgtkLib/utilsLib/utilsLib__SharedForest.cmi
lib/acgtkLib/utilsLib/utilsLib__Log.cmx
lib/acgtkLib/utilsLib/utilsLib__Log.cmti
lib/acgtkLib/utilsLib/utilsLib__Log.cmt
lib/acgtkLib/utilsLib/utilsLib__Log.cmi
lib/acgtkLib/utilsLib/utilsLib__IdGenerator.cmx
lib/acgtkLib/utilsLib/utilsLib__IdGenerator.cmti
lib/acgtkLib/utilsLib/utilsLib__IdGenerator.cmt
lib/acgtkLib/utilsLib/utilsLib__IdGenerator.cmi
lib/acgtkLib/utilsLib/utilsLib__Focused_list.cmx
lib/acgtkLib/utilsLib/utilsLib__Focused_list.cmti
lib/acgtkLib/utilsLib/utilsLib__Focused_list.cmt
lib/acgtkLib/utilsLib/utilsLib__Focused_list.cmi
lib/acgtkLib/utilsLib/utilsLib__DependencyManager.cmx
lib/acgtkLib/utilsLib/utilsLib__DependencyManager.cmti
lib/acgtkLib/utilsLib/utilsLib__DependencyManager.cmt
lib/acgtkLib/utilsLib/utilsLib__DependencyManager.cmi
lib/acgtkLib/utilsLib/utilsLib.ml
lib/acgtkLib/utilsLib/utilsLib.cmxs
lib/acgtkLib/utilsLib/utilsLib.cmxa
lib/acgtkLib/utilsLib/utilsLib.cmx
lib/acgtkLib/utilsLib/utilsLib.cmt
lib/acgtkLib/utilsLib/utilsLib.cmi
lib/acgtkLib/utilsLib/utilsLib.cma
lib/acgtkLib/utilsLib/utilsLib.a
lib/acgtkLib/utilsLib/utils.mli
lib/acgtkLib/utilsLib/utils.ml
lib/acgtkLib/utilsLib/tries.mli
lib/acgtkLib/utilsLib/tries.ml
lib/acgtkLib/utilsLib/table.mli
lib/acgtkLib/utilsLib/table.ml
lib/acgtkLib/utilsLib/sharedForest.mli
lib/acgtkLib/utilsLib/sharedForest.ml
lib/acgtkLib/utilsLib/log.mli
lib/acgtkLib/utilsLib/log.ml
lib/acgtkLib/utilsLib/idGenerator.mli
lib/acgtkLib/utilsLib/idGenerator.ml
lib/acgtkLib/utilsLib/focused_list.mli
lib/acgtkLib/utilsLib/focused_list.ml
lib/acgtkLib/utilsLib/dependencyManager.mli
lib/acgtkLib/utilsLib/dependencyManager.ml
lib/acgtkLib/utilsLib
lib/acgtkLib/opam
lib/acgtkLib/logic/varUnionFind.mli
lib/acgtkLib/logic/varUnionFind.ml
lib/acgtkLib/logic/typeInference.mli
lib/acgtkLib/logic/typeInference.ml
lib/acgtkLib/logic/logic__VarUnionFind.cmx
lib/acgtkLib/logic/logic__VarUnionFind.cmti
lib/acgtkLib/logic/logic__VarUnionFind.cmt
lib/acgtkLib/logic/logic__VarUnionFind.cmi
lib/acgtkLib/logic/logic__TypeInference.cmx
lib/acgtkLib/logic/logic__TypeInference.cmti
lib/acgtkLib/logic/logic__TypeInference.cmt
lib/acgtkLib/logic/logic__TypeInference.cmi
lib/acgtkLib/logic/logic__Lambda.cmx
lib/acgtkLib/logic/logic__Lambda.cmti
lib/acgtkLib/logic/logic__Lambda.cmt
lib/acgtkLib/logic/logic__Lambda.cmi
lib/acgtkLib/logic/logic__Abstract_syntax.cmx
lib/acgtkLib/logic/logic__Abstract_syntax.cmti
lib/acgtkLib/logic/logic__Abstract_syntax.cmt
lib/acgtkLib/logic/logic__Abstract_syntax.cmi
lib/acgtkLib/logic/logic.ml
lib/acgtkLib/logic/logic.cmxs
lib/acgtkLib/logic/logic.cmxa
lib/acgtkLib/logic/logic.cmx
lib/acgtkLib/logic/logic.cmt
lib/acgtkLib/logic/logic.cmi
lib/acgtkLib/logic/logic.cma
lib/acgtkLib/logic/logic.a
lib/acgtkLib/logic/lambda.mli
lib/acgtkLib/logic/lambda.ml
lib/acgtkLib/logic/abstract_syntax.mli
lib/acgtkLib/logic/abstract_syntax.ml
lib/acgtkLib/logic
lib/acgtkLib/dune-package
lib/acgtkLib/datalogLib/unionFind.mli
lib/acgtkLib/datalogLib/unionFind.ml
lib/acgtkLib/datalogLib/persistentArray.mli
lib/acgtkLib/datalogLib/persistentArray.ml
lib/acgtkLib/datalogLib/db_parser.mli
lib/acgtkLib/datalogLib/db_parser.ml
lib/acgtkLib/datalogLib/db_lexer.ml
lib/acgtkLib/datalogLib/datalog_AbstractSyntax.mli
lib/acgtkLib/datalogLib/datalog_AbstractSyntax.ml
lib/acgtkLib/datalogLib/datalogLib__UnionFind.cmx
lib/acgtkLib/datalogLib/datalogLib__UnionFind.cmti
lib/acgtkLib/datalogLib/datalogLib__UnionFind.cmt
lib/acgtkLib/datalogLib/datalogLib__UnionFind.cmi
lib/acgtkLib/datalogLib/datalogLib__PersistentArray.cmx
lib/acgtkLib/datalogLib/datalogLib__PersistentArray.cmti
lib/acgtkLib/datalogLib/datalogLib__PersistentArray.cmt
lib/acgtkLib/datalogLib/datalogLib__PersistentArray.cmi
lib/acgtkLib/datalogLib/datalogLib__Db_parser.cmx
lib/acgtkLib/datalogLib/datalogLib__Db_parser.cmti
lib/acgtkLib/datalogLib/datalogLib__Db_parser.cmt
lib/acgtkLib/datalogLib/datalogLib__Db_parser.cmi
lib/acgtkLib/datalogLib/datalogLib__Db_lexer.cmx
lib/acgtkLib/datalogLib/datalogLib__Db_lexer.cmt
lib/acgtkLib/datalogLib/datalogLib__Db_lexer.cmi
lib/acgtkLib/datalogLib/datalogLib__Datalog_AbstractSyntax.cmx
lib/acgtkLib/datalogLib/datalogLib__Datalog_AbstractSyntax.cmti
lib/acgtkLib/datalogLib/datalogLib__Datalog_AbstractSyntax.cmt
lib/acgtkLib/datalogLib/datalogLib__Datalog_AbstractSyntax.cmi
lib/acgtkLib/datalogLib/datalogLib__Datalog.cmx
lib/acgtkLib/datalogLib/datalogLib__Datalog.cmti
lib/acgtkLib/datalogLib/datalogLib__Datalog.cmt
lib/acgtkLib/datalogLib/datalogLib__Datalog.cmi
lib/acgtkLib/datalogLib/datalogLib__ArrayTraversal.cmx
lib/acgtkLib/datalogLib/datalogLib__ArrayTraversal.cmti
lib/acgtkLib/datalogLib/datalogLib__ArrayTraversal.cmt
lib/acgtkLib/datalogLib/datalogLib__ArrayTraversal.cmi
lib/acgtkLib/datalogLib/datalogLib.ml
lib/acgtkLib/datalogLib/datalogLib.cmxs
lib/acgtkLib/datalogLib/datalogLib.cmxa
lib/acgtkLib/datalogLib/datalogLib.cmx
lib/acgtkLib/datalogLib/datalogLib.cmt
lib/acgtkLib/datalogLib/datalogLib.cmi
lib/acgtkLib/datalogLib/datalogLib.cma
lib/acgtkLib/datalogLib/datalogLib.a
lib/acgtkLib/datalogLib/datalog.mli
lib/acgtkLib/datalogLib/datalog.ml
lib/acgtkLib/datalogLib/arrayTraversal.mli
lib/acgtkLib/datalogLib/arrayTraversal.ml
lib/acgtkLib/datalogLib
lib/acgtkLib/acgData/type_system.mli
lib/acgtkLib/acgData/type_system.ml
lib/acgtkLib/acgData/signature.mli
lib/acgtkLib/acgData/signature.ml
lib/acgtkLib/acgData/reduction.mli
lib/acgtkLib/acgData/reduction.ml
lib/acgtkLib/acgData/interface.mli
lib/acgtkLib/acgData/interface.ml
lib/acgtkLib/acgData/error.mli
lib/acgtkLib/acgData/error.ml
lib/acgtkLib/acgData/environment.mli
lib/acgtkLib/acgData/environment.ml
lib/acgtkLib/acgData/acg_lexicon.mli
lib/acgtkLib/acgData/acg_lexicon.ml
lib/acgtkLib/acgData/acgData__Type_system.cmx
lib/acgtkLib/acgData/acgData__Type_system.cmti
lib/acgtkLib/acgData/acgData__Type_system.cmt
lib/acgtkLib/acgData/acgData__Type_system.cmi
lib/acgtkLib/acgData/acgData__Signature.cmx
lib/acgtkLib/acgData/acgData__Signature.cmti
lib/acgtkLib/acgData/acgData__Signature.cmt
lib/acgtkLib/acgData/acgData__Signature.cmi
lib/acgtkLib/acgData/acgData__Reduction.cmx
lib/acgtkLib/acgData/acgData__Reduction.cmti
lib/acgtkLib/acgData/acgData__Reduction.cmt
lib/acgtkLib/acgData/acgData__Reduction.cmi
lib/acgtkLib/acgData/acgData__Interface.cmx
lib/acgtkLib/acgData/acgData__Interface.cmti
lib/acgtkLib/acgData/acgData__Interface.cmt
lib/acgtkLib/acgData/acgData__Interface.cmi
lib/acgtkLib/acgData/acgData__Error.cmx
lib/acgtkLib/acgData/acgData__Error.cmti
lib/acgtkLib/acgData/acgData__Error.cmt
lib/acgtkLib/acgData/acgData__Error.cmi
lib/acgtkLib/acgData/acgData__Environment.cmx
lib/acgtkLib/acgData/acgData__Environment.cmti
lib/acgtkLib/acgData/acgData__Environment.cmt
lib/acgtkLib/acgData/acgData__Environment.cmi
lib/acgtkLib/acgData/acgData__Acg_lexicon.cmx
lib/acgtkLib/acgData/acgData__Acg_lexicon.cmti
lib/acgtkLib/acgData/acgData__Acg_lexicon.cmt
lib/acgtkLib/acgData/acgData__Acg_lexicon.cmi
lib/acgtkLib/acgData/acgData.ml
lib/acgtkLib/acgData/acgData.cmxs
lib/acgtkLib/acgData/acgData.cmxa
lib/acgtkLib/acgData/acgData.cmx
lib/acgtkLib/acgData/acgData.cmt
lib/acgtkLib/acgData/acgData.cmi
lib/acgtkLib/acgData/acgData.cma
lib/acgtkLib/acgData/acgData.a
lib/acgtkLib/acgData
lib/acgtkLib/META
lib/acgtkLib
lib/acgtk/opam
lib/acgtk/dune-package
lib/acgtk/META
lib/acgtk
doc/acgtkLib/README.md
doc/acgtkLib/README-opam
doc/acgtkLib/README
doc/acgtkLib/LICENSE.md
doc/acgtkLib/LICENSE.fr
doc/acgtkLib/LICENSE.en
doc/acgtkLib/CHANGES.md
doc/acgtkLib/CHANGES
doc/acgtkLib
doc/acgtk/README.md
doc/acgtk/README-opam
doc/acgtk/README
doc/acgtk/LICENSE.md
doc/acgtk/LICENSE.fr
doc/acgtk/LICENSE.en
doc/acgtk/CHANGES.md
doc/acgtk/CHANGES
doc/acgtk
bin/acgc
bin/acg