资 源 简 介
Provides basic tools for making TTR judgements and writing grammars for natural language. This is a preliminary alpha version.
From the README file for TTRtool0.1:
You can give yourself a tutorial on TTR and TTRtool by studying files
in the following order:
examples/example-records.oz -- TTR records implemented as Oz
records, basic operations of flattening and relabelling.
2) examples/example-types.oz -- introduces basic types, proof types
(what I now call ptypes, i.e. types formed with predicates) and an
"is of type" relation - e.g. {IsOfType a "Ind"} is the code for
a:Ind. This uses the types specified in
ttr/default-{btypes,pred,model}.oz . (Sometime soon there will be
a higher level representation of such files so you don"t have to
mess with the oz-code...). We also introduce IsSupported for
non-empty types, function types, functions, function application,
beta conversion, dependent function types, ty
