gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/hakyll-agda

Wrapper to integrate literate Agda files with Hakyll

Screenshots

  • hakyll-agda-0.1.13
    ~amd64
    doc hscolour hoogle profile

    View      Download      Browse     License: BSD   
    Overlay: haskell

Runtime Dependencies

hakyll-agda-0.1.13


dev-haskell/pandoc:=[profile?
]

>=dev-haskell/hakyll-4.7.2.0:=[profile?
]

dev-haskell/mtl:=[profile?
]

dev-haskell/text:=[profile?
]

dev-haskell/xhtml:=[profile?
]
>=dev-lang/ghc-8.4.3:=

>=sci-mathematics/agda-2.6.1:=[profile?
]

dev-lang/ghc:=[profile?
]