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

Instrument CaseOfCase phase to extract ASTs in Agda readable form #5941

Open

Tracked by

ana-pantilie opened this issue May 1, 2024 · 0 comments

Open

Tracked by

Instrument CaseOfCase phase to extract ASTs in Agda readable form #5941

ana-pantilie opened this issue May 1, 2024 · 0 comments

Assignees

Labels

Internal status: triaged

Contributor

ana-pantilie commented May 1, 2024

No description provided.

ana-pantilie mentioned this issue

Compiler certification #5893

Open

8 tasks

ana-pantilie self-assigned this

github-actions bot added the status: needs triage label

ana-pantilie added Internal status: triaged and removed status: needs triage labels

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