Skip to content

Conversation

@Taneb
Copy link
Member

@Taneb Taneb commented Oct 24, 2024

Extracted from #408

@Taneb Taneb force-pushed the slice-functor-rename branch from 739b774 to 07581f7 Compare October 24, 2024 15:24
@Taneb Taneb requested a review from JacquesCarette October 24, 2024 15:52
@JacquesCarette
Copy link
Collaborator

FYI, swamped until Nov. 1. Will look after that.

@Taneb
Copy link
Member Author

Taneb commented Nov 4, 2024

@JacquesCarette are you able to give this a review now?

@JacquesCarette
Copy link
Collaborator

Very soon. Catching up on all the things I didn't do last week. This is explicitly on that list.

Copy link
Collaborator

@JacquesCarette JacquesCarette left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is great, thanks. Sorry for the super-long wait, I've been ridiculously swamped. Even fun things (like this) had to wait!

@JacquesCarette JacquesCarette merged commit 49f2dbb into agda:master Nov 7, 2024
1 check passed
@Taneb Taneb deleted the slice-functor-rename branch November 7, 2024 05:55
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.

2 participants