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
Can anyone please share the notes? I'd be eternally grateful.
The text was updated successfully, but these errors were encountered:
I see that Peter Dybjer has referenced these notes multiple times. My guess is that your best bet is to email him to ask for a copy.
The problem with these privately circulated notes is that they are often shared under the condition that they are not shared further or put online.
Sorry, something went wrong.
I see that Peter Dybjer has referenced these notes multiple times. My guess is that your best bet is to email him to ask for a copy. The problem with these privately circulated notes is that they are often shared under the condition that they are not shared further or put online.
Thanks so much for the info! Have a lovely day)
No branches or pull requests
Can anyone please share the notes? I'd be eternally grateful.
The text was updated successfully, but these errors were encountered: