@hackage / agda-snippets-hakyll

Literate Agda support using agda-snippets, for Hakyll pages.

Version Deprecated package0.1.2.2

About

Metadata

  • Last updated , by LiamOConnorDavis
  • License BSD-3-Clause

  • Maintained by: liamoc@cse.unsw.edu.au

  • Lottery factor: 0

Links

Installation

This package has been deprecated in favour of

Readme

This library provides basic functions to use in Hakyll web-pages to generate colourised and hyperlinked Agda source code snippets for literate Agda documents.

It makes use of the agda-snippets library and will (hopefully) be kept up to date with the latest Agda versions.