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

lexicon.tex explain Ackerman & Webelhuth types? Frank Van Eynde #243

Open
stefan11 opened this issue Jan 9, 2025 · 1 comment
Open

lexicon.tex explain Ackerman & Webelhuth types? Frank Van Eynde #243

stefan11 opened this issue Jan 9, 2025 · 1 comment
Assignees
@1koenig1
Labels
content

Comments

@stefan11
Copy link
Contributor

stefan11 commented Jan 9, 2025

p.156-158, section 4.3 : many of the types in Figure 3 are not explained
in the text; what is a long passive?
what is an io-passive?
@stefan11
Copy link
Contributor Author

stefan11 commented Jan 9, 2025

I would not expand this part of the text by detailed explanations. Maybe explain why not everything is explained.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@1koenig1 1koenig1

Labels
content
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@stefan11 @1koenig1