lawful-fields
A Bend 2 library for splitting packed byte ranges into fields and parsing or writing decimal numbers. Built on lawful-bytes, it includes laws and proof files connecting byte-level operations to list and text specifications.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/luiscleto/lawful-fields ↗GitHubhttps://github.com/luiscleto/lawful-fields/blob/main/README.md ↗GitHubhttps://github.com/luiscleto/lawful-fields/blob/main/fields.bend ↗