-
Notifications
You must be signed in to change notification settings - Fork 7
Pull requests: UniMath/largecatmodules
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
two adaptations to ArToSig now being defined through foldr1_map
#155
by rmatthes
was merged Jun 12, 2024
Loading…
should restore compilation after merging UniMath PR #1844
#154
by rmatthes
was merged Mar 1, 2024
Loading…
GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8
#153
by rmatthes
was merged Mar 1, 2024
Loading…
makes this satellite compile again after merging UniMath PR1739
#150
by rmatthes
was merged Jul 21, 2023
Loading…
makes this satellite compile again after merging UniMath PR #1728
#149
by rmatthes
was merged Jun 28, 2023
Loading…
Changed [mk] -> [make] in imports, to follow #1573 upstream
#144
by peterlefanulumsdaine
was merged Oct 26, 2022
Loading…
makes this file compile again after merging UniMath PR1549
#142
by rmatthes
was merged Oct 12, 2022
Loading…
Update to changes made in UniMath/DisplayedCats.
#135
by benediktahrens
was merged Feb 3, 2022
Loading…
restores compilation on base of current UniMath master (commit 89cc6d6)
#134
by rmatthes
was merged Jan 6, 2022
Loading…
adapt to UniMath/UniMath after refactoring categories
#133
by benediktahrens
was merged Nov 16, 2021
Loading…
tries to unfold then normalize the new upstream def. horcomp_data
#132
by rmatthes
was merged Oct 23, 2021
Loading…
follows the upstream identifier changes concerning monoidal isos
#131
by rmatthes
was merged Aug 31, 2021
Loading…
fixes a problem with missing projections coming from UniMath
#130
by rmatthes
was merged Jul 30, 2021
Loading…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.