We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 99dfc3e commit 9d5b0b5Copy full SHA for 9d5b0b5
artifacts/popl-2025-hyperfunctions-agda.tar.gz
56.4 KB
0 commit comments