package coq-list-string

  1. Overview
  2. No Docs
Strings implemented as lists

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. G
    Guillaume Claret

Maintainers

  1. D
    dev@clarus.me

Sources

2.1.0.tar.gz
md5=ded335c4340aeae01a80d046ac636f3a

Description

Tags

category:Computer Science/Data Types and Data Structures date:2015-03-23 logpath:ListString

Published: 10 May 2019

Dependencies (5)

  1. ocaml
  2. coq >= "8.4pl4" & < "8.14"
  3. coq-list-plus
  4. coq-error-handlers
  5. conf-ruby build

Dev Dependencies

None

Conflicts

None