3. Datetime Parsing🔗

Cedar datetime values are measured in milliseconds since the Unix epoch (1970-01-01T00:00:00Z), stored as Int64.

1. 3.1. Grammar
2. 3.2. Formal Specification
3. 3.3. Parser
4. 3.4. Soundness and Completeness
5. 3.5. Canonical String Representation
6. 3.6. Roundtrip Theorem