<commit_before>homepage: https://github.com/andreasabel/Sit
changelog-type: ''
hash: 9d92528b4c34a4e64fca9bb3da96246d1c683e908166dd771757ba08ced31c87
test-bench-deps: {}
maintainer: <NAME> <<EMAIL>>
synopsis: Prototypical type checker for Type Theory with Sized Natural Numbers
changelog: ''
basic-deps:
  data-lens-light: ! '>=0.1.2.2 && <0.2'
  base: ! '>=4.2 && <5.0'
  array: ! '>=0.3 && <1.0'
  containers: ! '>=0.3 && <1.0'
  mtl: ! '>=2.2.1 && <3.0'
all-versions:
- '0.2017.2.26'
- '0.2017.5.1'
- '0.2017.5.2'
author: <NAME> <<EMAIL>>
latest: '0.2017.5.2'
description-type: markdown
description: ! "# Sit: size-irrelevant types\nA prototype dependently-typed language
  with sized natural numbers\n\nSit parses and typechecks `.agda` that conform to
  the Sit language syntax.\n\nSyntax (excerpt):\n```agda\n--- Lexical stuff\n\n---
  Single line comment\n{- Block comment -}\n--;               --- End of declaration<commit_msg>Update from Hackage at 2018-02-01T12:19:56Z<commit_after>homepage: https://github.com/andreasabel/Sit
changelog-type: ''
hash: 81f02152a25595fc0c9d82d75e79f467e5ebc7279934bcef00d60b70b78f0bb2
test-bench-deps: {}
maintainer: <NAME> <<EMAIL>>
synopsis: Prototypical type checker for Type Theory with Sized Natural Numbers
changelog: ''
basic-deps:
  data-lens-light: ! '>=0.1.2.2 && <0.2'
  base: ! '>=4.2 && <5'
  array: ! '>=0.3 && <1'
  containers: ! '>=0.3 && <1'
  mtl: ! '>=2.2.1 && <3'
all-versions:
- '0.2017.2.26'
- '0.2017.5.1'
- '0.2017.5.2'
author: <NAME> <<EMAIL>>
latest: '0.2017.5.2'
description-type: markdown
description: ! "# Sit: size-irrelevant types\nA prototype dependently-typed language
  with sized natural numbers\n\nSit parses and typechecks `.agda` that conform to
  the Sit language syntax.\n\nSyntax (excerpt):\n```agda\n--- Lexical stuff\n\n---
  Single line comment\n{- Block comment -}\n--;               --- End of declaration
{'fraction_non_alphanumeric': 0.1816261879619852, 'fraction_numerical': 0.10348468848996832, 'mean_word_length': 3.7256857855361596, 'pattern_counts': {'":': 0, '<': 25, '<?xml version=': 0, '>': 25, 'https://': 2, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 2, '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': '1264380', 'n_tokens_mistral': 866, 'n_tokens_neox': 761, 'n_words': 167}