Skip to content

Latest commit

 

History

History
9 lines (6 loc) · 271 Bytes

header.md

File metadata and controls

9 lines (6 loc) · 271 Bytes

Model

Topics

The EKG model, includes memory architecture, safety-proofs, and a stanrd format for input-binding(s).

  • [./architecture-model.md](Architecture Model)
  • [./code-safety.md](Architecture Model)
  • [./input-binding-tag-style.md](Input-Binding Tag Style)