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

Agda decision procedure for CaseOfCase translations #5944

Open

Tracked by

ramsay-t opened this issue May 2, 2024 · 0 comments

Open

Tracked by

Agda decision procedure for CaseOfCase translations #5944

ramsay-t opened this issue May 2, 2024 · 0 comments

Assignees

Labels

Internal status: triaged Verified Compilation

Contributor

ramsay-t commented May 2, 2024

No description provided.

github-actions bot added the status: needs triage label

ramsay-t added Specification status: triaged Internal and removed status: needs triage labels

ramsay-t mentioned this issue

Compiler certification #5893

Open

8 tasks

ramsay-t added Verified Compilation and removed Specification labels

ramsay-t self-assigned this

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