1. Getting Started
5. Usage
6. 1. As an Executable
7. 2. As a Cargo extension
9. Guides
10. 3. Rust To WebAssembly
11. 4. WebAssembly To Miden Assembly
12. 5. Developing Miden Programs In Rust
13. 6. Developing Miden Rollup Accounts And Note Scripts In Rust
14. 7. Debugging programs
16. Compiler architecture
17. 8. Overview
18. 9. Frontends
19. 10. Intermediate Representation (HIR)
20. 11. Data Layout
21. 12. Analyses
22. 13. Rewrites
23. 14. Code Generation
24. 15. Packaging
28. Appendices:
29. 16. Known limitations
30. 17. Calling Conventions
31. 18. Canonical ABI vs Miden ABI