lawful-halves
A Bend 2 library for running a list of tasks through a balanced fork-join tree. It includes behavioral laws, proof files and checks that compare ordered results with sequential task execution.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/luiscleto/lawful-halves ↗GitHubhttps://github.com/luiscleto/lawful-halves/blob/main/README.md ↗GitHubhttps://github.com/luiscleto/lawful-halves/blob/main/halves.bend ↗