https://gitlab.com/nomadic-labs/data-encoding/
Revision 7819fd1579f3b31d3d71b7e7b5c3c8ae863ad406 authored by Philippe Wang on 27 August 2023, 04:18:17 UTC, committed by Philippe Wang on 27 August 2023, 04:18:17 UTC
1 parent 5a50495
History
Tip revision: 7819fd1579f3b31d3d71b7e7b5c3c8ae863ad406 authored by Philippe Wang on 27 August 2023, 04:18:17 UTC
Cosmetics: remove duplicated call to Array.length
Tip revision: 7819fd1
File Mode Size
json-data-encoding
misc
src
test
.gitignore -rw-r--r-- 26 bytes
.gitlab-ci.yml -rw-r--r-- 931 bytes
.ocamlformat -rw-r--r-- 390 bytes
CHANGES.md -rw-r--r-- 2.8 KB
LICENSE -rw-r--r-- 1.2 KB
README.md -rw-r--r-- 1.2 KB
data-encoding.opam -rw-r--r-- 1.1 KB
dune -rw-r--r-- 21 bytes
dune-project -rw-r--r-- 75 bytes
dune-workspace -rw-r--r-- 16 bytes
json-data-encoding-browser.opam -rw-r--r-- 615 bytes
json-data-encoding-bson.opam -rw-r--r-- 609 bytes
json-data-encoding.opam -rw-r--r-- 917 bytes

README.md

back to top