WanShi
An early Bend 2 library collection containing list operations, algebraic structures, booleans and proof examples. The repository preserves experimental Bend library code from 2025; compatibility with current Bend releases is not established.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/HigherOrderCO-archive/WanShi ↗Xhttps://x.com/VictorTaelin/status/1936245922779873607 ↗GitHubhttps://github.com/HigherOrderCO-archive/WanShi/blob/main/BendRoot/List/Ma… ↗