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.

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 2.5.3 compatibility tracker #27

Closed
2 tasks done
favonia opened this issue May 10, 2017 · 0 comments
Closed
2 tasks done

Agda 2.5.3 compatibility tracker #27

favonia opened this issue May 10, 2017 · 0 comments
Assignees
@favonia

Comments

@favonia
Copy link
Contributor

favonia commented May 10, 2017 •
edited
Loading

@favonia favonia self-assigned this May 10, 2017
@favonia favonia changed the title Agda 2.5.3 compatibility Agda 2.5.3 compatibility tracker May 10, 2017
@favonia favonia mentioned this issue Jul 1, 2017
Closed
@favonia favonia changed the title Agda 2.5.3 compatibility tracker Agda 2.6 compatibility tracker Aug 2, 2017
@favonia favonia changed the title Agda 2.6 compatibility tracker Agda 2.5.3/2.6 compatibility tracker Aug 8, 2017
@favonia favonia changed the title Agda 2.5.3/2.6 compatibility tracker Agda 2.5.3 compatibility tracker Aug 19, 2017
favonia added a commit that referenced this issue Sep 11, 2017
@favonia
Remove builtin REFL and bump Agda version to 2.5.3. Close #27.
e5861d7
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@favonia favonia

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@favonia