Blend
A preprocessor written in Bend 2 that translates .blend modules into Bend source files. It adds static objects, multiple inheritance, mixins, and definition overrides, emitting separate code, law, and proof files for concrete objects.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/dmbarbour/blend ↗GitHubhttps://github.com/dmbarbour/blend/blob/main/README.md ↗GitHubhttps://github.com/dmbarbour/blend/blob/main/blend.bend ↗