> For the complete documentation index, see [llms.txt](https://wiki.dewaka.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wiki.dewaka.com/books/technical/elements-of-programming.md).

# Elements of Programming

## Chapter 1 - Foundations

* Lemmas
  * 1.1 - If a value type is uniquely represented, equality implies representational equality.
  * 1.2 - If a value type is not ambiguous, representational equality implies equality.