> For the complete documentation index, see [llms.txt](https://btq.gitbook.io/keelung/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://btq.gitbook.io/keelung/language-manual/values-and-expressions.md).

# Values & Expressions

In Keelung (or Haskell), there is essentially no difference between the concepts of *values* and *expressions*. All of them belong to one of these three types:

* `Boolean`: [Booleans](/keelung/language-manual/values-and-expressions/booleans.md)
* `Field`: [Field elements](/keelung/language-manual/values-and-expressions/field-elements.md)
* `UInt w`: [Unsigned Integers](/keelung/language-manual/values-and-expressions/unsigned-integers.md) of bit width `w`