acgtk

Abstract Categorial Grammar development toolkit
Library acgtkLib.logic
Module Logic . Lambda
module Lambda : sig ... end