agda-snippets: Render just the Agda snippets of a literate Agda file to HTML

[ bsd3, dependent-types, library, program ] [ Propose Tags ]

This library provides a very simple function that translates just the code blocks of a literate Agda file to colourised, hyperlinked HTML. The output of this can then be run through Pandoc or other document processors to allow literate Agda to be comfortably written in any format that allows inline HTML snippets.

There is also a simple command-line application (agda-snippets) included that can be used as a standalone file processor.

The location of library source hyperlinks is configurable, as is the CSS class given to Agda code blocks.

This package is pinned to particular Agda versions, and therefore does not obey the PVP, as Agda does not. You should use whichever version of this library corresponds to the Agda version you wish to use.

The development version of this library, available from GitHub, may work with development versions of Agda, although it could be broken at any time. If you stick to stable versions, you should be fine.

Versions [faq] 2.4.2.4, 2.4.2.5, 2.5.1, 2.5.2
Dependencies Agda (==2.4.2.5), agda-snippets, base (==4.8.*), containers (==0.5.*), mtl (>=2.1 && <2.3), network-uri (==2.6.*), transformers (==0.4.*), xhtml (>=3000.2.1 && <3000.3) [details]
License BSD-3-Clause
Copyright Liam O'Connor, 2015
Author Liam O'Connor
Maintainer liamoc@cse.unsw.edu.au
Revised Revision 1 made by HerbertValerioRiedel at Mon Jun 5 16:09:30 UTC 2017
Category Dependent Types
Home page http://github.com/liamoc/agda-snippets#readme
Source repo head: git clone https://github.com/liamoc/agda-snippets
Uploaded by LiamOConnorDavis at Sun Jan 24 19:15:12 UTC 2016
Distributions NixOS:2.5.2
Executables agda-snippets
Downloads 1844 total (71 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-11-28 [all 2 reports]

Modules

  • Agda
    • Contrib
      • Agda.Contrib.Snippets

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees