Tag: booleans

All the articles with the tag "booleans".

• ZERO: Boolean Values and Runtime Type Errors

  17 Aug, 2026

  ZERO extends DIFF with the zero? predicate and Boolean values, then introduces runtime type errors for expressions that use values of the wrong type.