Bend 2 Chinese Beginner Course
A Chinese-language Bend 2 course with runnable examples, proof exercises, a reference sheet, and Windows/Bun setup scripts. It covers language fundamentals, affine usage, parallelism, and the laws-and-proofs workflow.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/kntism/bend-lang ↗GitHubhttps://github.com/kntism/bend-lang/blob/main/README.md ↗GitHubhttps://github.com/kntism/bend-lang/blob/main/examples/18_project/main.bend ↗