package coq-bytestring
A simple string library built around byte instead of Ascii
Install
Dune Dependency
Authors
Maintainers
Sources
coq-bytestring-v0.9.0.tar.gz
sha256=2dd6a0804225cf7a7822d8ab8056cedd2996e4f61b6f52fadf8956438c2b98a2
On This Page