swh:1:snp:61dcfc0dd5674a0e65803e88039c122d9532074e
History
Tip revision: e1f093e25eda3dc53bdd26a6415401b30dc7563a authored by Yann Regis-Gianas on 29 January 2021, 11:01:29 UTC
Merge branch 'yrg@optimize-union-encoding' into 'master'
Tip revision: e1f093e
File Mode Size
src
test
.gitignore -rw-r--r-- 26 bytes
.gitlab-ci.yml -rw-r--r-- 974 bytes
.ocamlformat -rw-r--r-- 231 bytes
CHANGES.md -rw-r--r-- 277 bytes
LICENSE -rw-r--r-- 1.2 KB
README.md -rw-r--r-- 840 bytes
data-encoding.opam -rw-r--r-- 667 bytes
dune-project -rw-r--r-- 53 bytes

README.md

back to top