Issue 7212: Make Mimer respect C-u modifiers - Githubissues

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

https://wiki.portal.chalmers.se/agda/pmwiki.php

Other

2.4k stars 339 forks source link

Issue 7212: Make Mimer respect C-u modifiers #7265

Closed UlfNorell closed 1 month ago

UlfNorell commented 1 month ago

Fixes #7212