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

• Field: Field elements

• UInt w: Unsigned Integers of bit width w