Bend 2 for Substrate
A port of Bend 2 to the Substrate language, expressing its dependently typed language as s-expressions. It includes a type checker, part of the Base library and tests.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/substrate-lang/substrate-bend2 ↗GitHubhttps://github.com/substrate-lang/substrate-bend2/blob/main/README.md ↗GitHubhttps://github.com/substrate-lang/substrate-bend2/blob/main/bend2.sub ↗