We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
For educational purposes it is good to have just PTSs. Ideally, I would like to have the whole lambda cube.
The text was updated successfully, but these errors were encountered:
In order to "calculate" something, there should be a facility introduce base types via assume (like in lambdapi).
Sorry, something went wrong.
No branches or pull requests
For educational purposes it is good to have just PTSs. Ideally, I would like to have the whole lambda cube.
The text was updated successfully, but these errors were encountered: