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

Make compatible with standard library version 1.4 #207

Merged
merged 2 commits into from
Sep 19, 2020

Conversation

turion
Copy link
Contributor

@turion turion commented Sep 18, 2020

No description provided.

@gallais
Copy link
Member

gallais commented Sep 18, 2020

You probably need to update the .travis.yml file to use v1.4 too:

STDLIB_VER=1.3

@turion
Copy link
Contributor Author

turion commented Sep 18, 2020

Thanks, done!

@turion turion changed the title Make compatible with standard library version 0.1.4 Make compatible with standard library version 1.4 Sep 18, 2020
@turion
Copy link
Contributor Author

turion commented Sep 18, 2020

I accidentally misnamed the branch.

@JacquesCarette
Copy link
Collaborator

Thanks, I'll investigate asap, but it might not be until the weekend (sorry). Someone else might beat me to it.

@Taneb
Copy link
Member

Taneb commented Sep 18, 2020

I think Relation.Binary.Construct.Closure.SymmetricTransitive should be removed from Everything.agda as well

@turion
Copy link
Contributor Author

turion commented Sep 18, 2020

@Taneb, well spotted, done.

@HuStmpHrrr HuStmpHrrr linked an issue Sep 18, 2020 that may be closed by this pull request
@HuStmpHrrr
Copy link
Member

@JacquesCarette do you have something in mind? to what I can see it seems good to go.

@JacquesCarette
Copy link
Collaborator

Nothing in particular, I just didn't have the time to look at the details at all. So if it looks good to you @HuStmpHrrr go ahead and merge it.

@HuStmpHrrr HuStmpHrrr merged commit f596e0a into agda:master Sep 19, 2020
@JacquesCarette JacquesCarette mentioned this pull request Sep 19, 2020
@turion turion deleted the releasev0.1.4 branch September 20, 2020 10:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

moving SymmetricTransitive to the stdlib
5 participants