4. Builtins

The compiler _knows_ about some types. These types are builtin types. The builtin types and the corresponding functions reside all in the package alba.core.

• 4.1. Module: alba.core.general
• 4.2. Module: alba.core.logic
  • 4.2.1. Axioms and Builtin Definitions
  • 4.2.2. Equality
• 4.3. Module: alba.core.natural
  • 4.3.1. Builtin Definitions
  • 4.3.2. Recursion and Induction
  • 4.3.3. Addition
    • 4.3.3.1. Helper Functions
    • 4.3.3.2. Associativity
    • 4.3.3.3. Commutativity
  • 4.3.4. Multiplication
  • 4.3.5. Exponentiation
  • 4.3.6. Order Relation
• 4.4. Module: alba.core.integer
• 4.5. Module: alba.core.nat
  • 4.5.1. Axioms and Builtin Definitions
  • 4.5.2. Embedding into Natural Numbers
• 4.6. Module: alba.core.list
• 4.7. Basic Types
  • 4.7.1. Scalar Types
    • 4.7.1.1. Integer Types
      • 4.7.1.1.1. Semantics
      • 4.7.1.1.2. Compile to Javascript
      • 4.7.1.1.3. Compile to Machine Code
    • 4.7.1.2. Floating Point