aiken/crates/flat-rs
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.