gentoo.mahdi.cz
app-emacs
:agda-editor-tactics
An editor tactic to produce Σ-types from Agda records
https://github.com/alhassy/next-700-module-systems
agda-editor-tactics-20211024.2357
download
~amd64 ~x86
melpa