acgtk

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