CuNi v0.1.6
Follow-up to the v0.1.5 platform surface.
Language
- Named typ constructors:
Circle(r: 2.0)(all fields named; no mix with positional) - Call-site checks: concrete argument types + conflicting generic bindings refuse
Product / docs
- Flagship link demo GIF in README
- Registry design sketch (
docs/REGISTRY.md,packages/) - CHANGELOG, CONTRIBUTING, SECURITY
- Playground SEO meta tags
Install
cargo install --git https://github.com/ceedot-rock/cuni --tag v0.1.6Proof
cuni check examples/named_fields.cuni
./examples/link/demo.sh