lambdasolver2Other
↗
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.
☆ 0