Files

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

src

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

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

tests

chore: make folder names match crate name

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

Cargo.toml

chore: Release

2023-06-23 19:41:14 -04:00

README.md

chore: make folder names match crate name

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

README.md

Flat

A Rust port of the Haskell reference implementation.