Skip to content

Conversation

@CT075
Copy link
Contributor

@CT075 CT075 commented Oct 27, 2025

Resolves #181 .

CT075 added 2 commits October 27, 2025 15:53
Signed-off-by: Cameron Wong <[email protected]>
Signed-off-by: Cameron Wong <[email protected]>
@4e554c4c
Copy link
Contributor

thanks!

@4e554c4c 4e554c4c merged commit d18cb7c into agda:master Oct 28, 2025
8 of 9 checks passed
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.

[chore] Allow removal of input bindings

2 participants