acgtk

Abstract Categorial Grammar development toolkit
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

acgtkLib.acgData

Documentation:

Dependencies: acgtkLib.logic, acgtkLib.datalogLib

acgtkLib.datalogLib

Documentation:

Dependencies: str, ANSITerminal, acgtkLib.utilsLib

acgtkLib.logic

Documentation:

  • Logic.Abstract_syntax This modules implements the abstract syntax and the build function for the signatures
  • Logic.Lambda
  • Logic.TypeInference
  • Logic.VarUnionFind Modules with this module type should provide Union-Find algorithms and the indexed storage data structure. Note that we take the opportunity of implementing from scratch such algorithms to allow the find function returns not only the index of the representative and the values it indexes, but also the storage data structure, so that the find algorithm can modify it, in particular with path compression.

Dependencies: ANSITerminal, acgtkLib.utilsLib

acgtkLib.utilsLib

Documentation:

Dependencies: str, ANSITerminal, logs, logs.fmt, mtime.clock.os