<commit_before>homepage: ''
changelog-type: ''
hash: ceebcfb8997d883dd425cf897ef02a45880fe8a3cd17cdd6b8b633d440659c1f
test-bench-deps: {}
maintainer: <EMAIL>
synopsis: Proof assistant for Haskell using DataKinds & PolyKinds
changelog: ''
basic-deps:
  void: ! '>=0.6 && <0.8'
  base: ! '>=4 && <5'
  containers: ! '>=0.5'
  singletons: ! '>=2.1 && <2.3'
  th-desugar: ! '>=1.6'
  template-haskell: -any
all-versions:
- '0.0.1.0'
- '0.0.3.0'
- '0.0.4.0'
- '0.0.4.1'
- '0.1.0.0'
- '0.2.0.0'
- '0.2.0.2'
- '0.2.0.3'
- '0.2.0.4'
- '0.2.0.5'
- '0.2.0.6'
- '0.2.0.7'
- '0.3.0.0'
- '0.4.0.0'
- '0.4.1.1'
author: <NAME>
latest: '0.4.1.1'
description-type: haddock
description: A simple convenient library to write equational / preorder proof as in
  Agda.
license-name: BSD3
<commit_msg>Update from Hackage at 2017-09-19T04:47:29Z<commit_after>homepage: ''
changelog-type: ''
hash: 9da82088bb71fbf5bbb02050dc3122fd964b8ab7761b8f6b6b6b1f1e3f08675c
test-bench-deps: {}
maintainer: <EMAIL>
synopsis: Proof assistant for Haskell using DataKinds & PolyKinds
changelog: ''
basic-deps:
  void: ! '>=0.6 && <0.8'
  base: ==4.*
  containers: ! '>=0.5'
  singletons: ! '>=2.1 && <2.4'
  th-desugar: ! '>=1.6'
  th-extras: ! '>=0.0.0.4'
  template-haskell: ! '>=2.11.1.0'
all-versions:
- '0.0.1.0'
- '0.0.3.0'
- '0.0.4.0'
- '0.0.4.1'
- '0.1.0.0'
- '0.2.0.0'
- '0.2.0.2'
- '0.2.0.3'
- '0.2.0.4'
- '0.2.0.5'
- '0.2.0.6'
- '0.2.0.7'
- '0.3.0.0'
- '0.4.0.0'
- '0.4.1.1'
- '0.5.0.0'
author: <NAME>
latest: '0.5.0.0'
description-type: haddock
description: A simple convenient library to write equational / preorder proof as in
  Agda.
license-name: BSD3

{'fraction_non_alphanumeric': 0.23879680785758134, 'fraction_numerical': 0.15837937384898712, 'mean_word_length': 2.9853300733496333, 'pattern_counts': {'":': 0, '<': 12, '<?xml version=': 0, '>': 18, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 35, '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': '4212696', 'n_tokens_mistral': 932, 'n_tokens_neox': 874, 'n_words': 144}