Origami Definition Language Specification
This document specifies the syntax and semantics of the Origami Definition Language (OrigamiDL for short).
1. Overview
OrigamiDL is a declarative and statically-typed domain-specific language without side-effects.
2. Notation
3. Variables
A variable needs to be initialized upon definition.