search

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

Add a switcher to literate modes to emacs mode #7255

Open WhatisRT opened 1 month ago

WhatisRT commented 1 month ago

This was requested by Thorsten at the current AIM, and I find this useful myself. I'd be happy to add defaults for other modes as well, but there was a precedent set with #6817 so I held off with that. Also, I'm open to change the key bindings to something else.