Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[gram] type-name is not formally defined #3658

Closed
uap-universe opened this issue Feb 4, 2020 · 0 comments
Closed

[gram] type-name is not formally defined #3658

uap-universe opened this issue Feb 4, 2020 · 0 comments

Comments

@uap-universe
Copy link

uap-universe commented Feb 4, 2020 •
edited

Sorry, this was a mistake. It is actually defined, but somewhere else. Unfortunately the search function of my PDF-reader did not find the term type-name: so I had to manually scan the document...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@uap-universe