Alba
Contents:
1. Introduction
2. Certified Programming
3. Language Elements
4. Builtins
5. Intermediate Representation
6. Compilation
7. Platforms
8. Backends
8.1. Javascript
8.2. Rust
8.3. LLVM
9. Draft
10. Bibliography
Alba
8.
Backends
8.2.
Rust
View page source
8.2.
Rust