gpo.zugaina.org

Search Portage & Overlays:

app-emacs/agda-editor-tactics

An editor tactic to produce Σ-types from Agda records

Screenshots

  • agda-editor-tactics-20211024.2357
    ~amd64 ~x86

    View      Download      Browse     License:   
    Overlay: melpa

USE Flags