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.

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

Add recent Agda courses #3751

merged 3 commits into from May 6, 2019


None yet
2 participants
Copy link

commented May 5, 2019

  • add notes form 2015 edition and videos from 2017 edition of Advanced Functional Programming by Conor McBride
  • add Introduction to Univalent Foundations of Mathematics with Agda, MGS 2019 Martín Hötzel Escardó

lemastero added some commits May 5, 2019

@UlfNorell UlfNorell merged commit e459100 into agda:master May 6, 2019

1 check failed

continuous-integration/travis-ci/pr The Travis CI build failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.