<commit_before># ![Logo](https://raw.githubusercontent.com/clarus/icons/master/list-48.png) ListPlus
More functions on lists.

## Install
### With OPAM
Add the Coq repository:

    opam repo add coq-stable https://github.com/coq/repo-stable.git

and run:

    opam install coq:list-plus

### From the sources
Run:

    ./configure.sh
    make
    make install

## Use
Add:

    Require Import ListPlus.All.

at the beginning of your source files. The library will be available under the `List` module.

## Reference
* `repeat {A : Type} (x : A) (n : nat) : list A` Make a list of `n` elements `x`.
<commit_msg>Unstable repository for now<commit_after># ![Logo](https://raw.githubusercontent.com/clarus/icons/master/list-48.png) ListPlus
More functions on lists.

## Install
### With OPAM
Add the Coq unstable repository:

    opam repo add coq-unstable https://github.com/coq/repo-unstable.git

and run:

    opam install coq:list-plus

### From the sources
Run:

    ./configure.sh
    make
    make install

## Use
Add:

    Require Import ListPlus.All.

at the beginning of your source files. The library will be available under the `List` module.

## Reference
* `repeat {A : Type} (x : A) (n : nat) : list A` Make a list of `n` elements `x`.

{'fraction_non_alphanumeric': 0.12028869286287089, 'fraction_numerical': 0.0032076984763432237, 'mean_word_length': 3.3183391003460208, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 4, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, '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': '1287572', 'n_tokens_mistral': 423, 'n_tokens_neox': 403, 'n_words': 144}