Skip to content

Fix substitution during eta expansion of partial application#1117

Merged
mattam82 merged 1 commit intoMetaCoq:coq-8.19from 4ever2:eta-expand-app-fixNov 12, 2024
+1-1

Commits