Skip to content
.github/workflows/zulip_emoji_awaiting_author.yaml

[Merged by Bors] - refactor(Quot): use dependent arrows in congruence arguments for map and map₂ #25

Sign in to view logs

[Merged by Bors] - refactor(Quot): use dependent arrows in congruence arguments for map and map₂

[Merged by Bors] - refactor(Quot): use dependent arrows in congruence arguments for map and map₂ #25

This job was skipped