app-emacs/agda-editor-tactics
An editor tactic to produce Σ-types from Agda records
Screenshots
View
Download
BrowseReverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.