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
..
encoder.rs	fix: safe encode bits to check for 2^num_bits <= byte we are encoding	2023-06-30 23:06:38 -04:00
error.rs	chore: make folder names match crate name	2022-12-21 18:11:07 -05:00