Juvix compiler documentation
  • About
  • Documentation
  • Community
  • Documentation
    • Terminology
    • Design
      • Extensible
      • Image System
      • Subtyping
      • Trees-That-Grow
      • S-expression Syntax
        • Core S-Expression Syntax
      • Syntax
    • Idioms
      • Capability
    • Juvix
    • Overview
      • Core
        • HR
        • IR
          • Representation
          • Extensions
          • Evaluator
        • Original QTT Erasure algorithm
        • HR IR Conversion
        • Type Theory
          • Foundations
          • Datatypes
        • Typechecker
          • Overview
          • Correspondences
          • Modules
          • Formalization
      • S-expression
      • Translate
      • Frontend
      • Context
      • Pipeline
        • Idealized Pipeline
      • Backends
        • LLVM
    • Tutorials
      • Writing Proof with Witch
      • Multi-Bear Domicile Setup
      • Another Tutorial
      • Syntax-Guide
Edit this page Create child page Create documentation issue Create project issue Print entire section
  1. Documentation
  2. Overview
  3. Core
  4. IR

IR


Representation

Extensions

Evaluator

Last modified June 25, 2021 : Give title sections to HR and IR docs (fd30d8a)
© 2021 Heliax AG All Rights Reserved