mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-07-28 00:20:03 -06:00
786ef54d62
pg supports only the -funs, -cats and -langs output modes. ai IDENTIFIER shows info about a category or a function. ai can not type check and refine metavariables in expressions.