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
View page source
6.2.
Elaboration
6.2.1. Inductive Type
6.2.2. Pattern Match
6.2.2.1. Syntax
6.2.2.2. Pattern Reduction
6.2.2.3. Pattern Elaboration
6.2.2.4. Pattern Compilation