<commit_before>homepage: http://github.com/liamoc/agda-snippets#readme
changelog-type: ''
hash: 448642da0018eaddb40a58b7fc70881585eab247c7a971e6aa2a90cf293bc29c
test-bench-deps: {}
maintainer: <EMAIL>
synopsis: Render just the Agda snippets of a literate Agda file to HTML
changelog: ''
basic-deps:
  base: ! '>=4.7 && <4.9'
  xhtml: ! '>=3000.2.1 && <3000.3'
  Agda: ==2.4.2.4
  containers: ! '>=0.5 && <0.6'
  network-uri: ==2.6.*
  mtl: ! '>=2.1 && <2.3'
  agda-snippets: -any
all-versions:
- '2.4.2.4'
author: <NAME>
latest: '2.4.2.4'
description-type: haddock
description: ! '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.<commit_msg>Update from Hackage at 2016-01-24T19:41:19+0000<commit_after>homepage: http://github.com/liamoc/agda-snippets#readme
changelog-type: ''
hash: 771155e561f39b9411b7e2524502a817686d2ccc9cb4e285d1e213d5c78c0ba0
test-bench-deps: {}
maintainer: <EMAIL>
synopsis: Render just the Agda snippets of a literate Agda file to HTML
changelog: ''
basic-deps:
  base: ! '>=4.7 && <4.9'
  xhtml: ! '>=3000.2.1 && <3000.3'
  Agda: ==2.4.2.5
  containers: ! '>=0.5 && <0.6'
  network-uri: ==2.6.*
  mtl: ! '>=2.1 && <2.3'
  transformers: ! '>=0.4 && <0.5'
  agda-snippets: -any
all-versions:
- '2.4.2.4'
- '2.4.2.5'
author: <NAME>
latest: '2.4.2.5'
description-type: haddock
description: ! '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.
{'fraction_non_alphanumeric': 0.0995059985885674, 'fraction_numerical': 0.06457304163726182, 'mean_word_length': 3.8879310344827585, 'pattern_counts': {'":': 0, '<': 16, '<?xml version=': 0, '>': 16, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 7, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5913008', 'n_tokens_mistral': 1077, 'n_tokens_neox': 960, 'n_words': 355}