aristo-macros 0.8.0

Aristo SDK proc-macros: #[aristo::intent], #[aristo::assume].
Documentation