[ upstream ] Adapt to the changes in idris-lang/Idris2#3415#234

Merged

buzden merged 1 commit intoidris-community:mainfrom spcfox:with-proof-multiplicity

Dec 18, 2024

+2-1

Commits on Dec 4, 2024

[ upstream ] Adapt to the changes in idris-lang/Idris2#3415
spcfox
committed