Bend Documentation (lambdasolver2)
An independent documentation site and coursebook for Bend 2, HVM and interaction nets. The repository contains tutorials, exercises, worked solutions and reference compilations, built into a static website.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/lambdasolver2/bend-docs ↗GitHubhttps://github.com/lambdasolver2/bend-docs/blob/main/README.md ↗GitHubhttps://github.com/lambdasolver2/bend-docs/blob/main/src/content/learn/hel… ↗