microproofs 42544af799 fix: safe encode bits to check for 2^num_bits <= byte we are encoding ...

fix: I thought namedDeBruijn takes advantage of Binder for encoding and decoding.
It does not...
fix: Debruijn was being converted to NamedDeBruijn incorrectly

2023-06-30 23:06:38 -04:00

..

decode

chore: make folder names match crate name

2022-12-21 18:11:07 -05:00

encode

fix: safe encode bits to check for 2^num_bits <= byte we are encoding

2023-06-30 23:06:38 -04:00

decode.rs

chore: make folder names match crate name

2022-12-21 18:11:07 -05:00

encode.rs

chore: make folder names match crate name

2022-12-21 18:11:07 -05:00

filler.rs

chore: make folder names match crate name

2022-12-21 18:11:07 -05:00

lib.rs

chore: make folder names match crate name

2022-12-21 18:11:07 -05:00

zigzag.rs

chore: make folder names match crate name

2022-12-21 18:11:07 -05:00