A2ML
Attested Markup Language
Lightweight surface syntax with a typed, verifiable core.
Get Started
Specification
Module 0 Quickstart
Grammar Appendix
Conformance + Test Vectors
Web Rendering
Demo (static preview)
Prototypes
ReScript web prototype
ReScript + WASM prototype
Release
v0.1.0 release notes