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 ~x86melpa