vars: {
  d2-config: {
    layout-engine: elk
    theme-id: 0
  }
}

direction: down

values: {
  label: "values"
}
types: {
  label: "types"
}
functions: {
  label: "functions"
}
calls: {
  label: "calls"
}
pairs: {
  label: "pairs"
}
notation: {
  label: "Cordis notation\nΓ, γ, δ, e, g, EΓ"
}
runtime: {
  label: "runtime model"
}
contexts: {
  label: "contexts"
}
effects: {
  label: "effects"
}
dependencies: {
  label: "dependencies"
}
components: {
  label: "components"
}
idea: {
  label: "plain programming idea"
}

idea -> values
values -> types -> functions -> calls -> pairs
pairs -> notation
notation -> runtime
runtime -> contexts -> effects -> dependencies -> components