https://gitlab.com/nomadic-labs/data-encoding/
Revision 1d57f9ccdfec1d296a1dc725c593451716a12761 authored by Raphaël Proust on 02 June 2022, 12:34:05 UTC, committed by Raphaël Proust on 13 July 2022, 08:13:02 UTC
I.e., the encoding `mu (fun e -> union [ … ; … e])` is now represented
as a `Mu` constructor rather than a `Union` constructor.
1 parent 8ba4d07
History
Tip revision: 1d57f9ccdfec1d296a1dc725c593451716a12761 authored by Raphaël Proust on 02 June 2022, 12:34:05 UTC
`mu` now avoids the first unrolling
Tip revision: 1d57f9c
File Mode Size
misc
src
test
.gitignore -rw-r--r-- 26 bytes
.gitlab-ci.yml -rw-r--r-- 602 bytes
.ocamlformat -rw-r--r-- 369 bytes
CHANGES.md -rw-r--r-- 1.6 KB
LICENSE -rw-r--r-- 1.2 KB
README.md -rw-r--r-- 1.0 KB
data-encoding.opam -rw-r--r-- 1.1 KB
dune-project -rw-r--r-- 75 bytes
dune-workspace -rw-r--r-- 16 bytes

README.md

back to top