gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/fix-agda-whitespace

Fixes whitespace issues for Agda sources

Screenshots

  • fix-agda-whitespace-0.0.4
    ~amd64 ~x86

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)