Alba
Contents:
1. Introduction
2. Certified Programming
3. Language Elements
4. Builtins
5. Intermediate Representation
6. Compilation
6.1. Pattern Match
6.2. Elaboration
6.2.1. Inductive Type
6.2.2. Pattern Match
6.3. Context
6.4. Term Elaboration
6.5. Elaboration Context
6.6. Sorts
6.7. Types
6.8. Products
6.9. Identifier / Operator
6.10. Function Application
6.11. Term
7. Platforms
8. Backends
9. Draft
10. Bibliography
Alba
6.
Compilation
6.2.
Elaboration
6.2.1.
Inductive Type
View page source
6.2.1.
Inductive Type