PredicationCat.gf « mathematical « resource « old-lib « deprecated - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/deprecated/old-lib/resource/mathematical/PredicationCat.gf

blob: 95fd70cc09b2e296c641a369caff0207c5c54123 (plain)

concrete PredicationCat of Predication = CatCat ** PredicationI with
  (Syntax = SyntaxCat),
  (Lang = LangCat) ;