acgtk

Abstract Categorial Grammar development toolkit
Library acgtkLib.logic
module Abstract_syntax : sig ... end