The language {a^n b^n}

def anbn : Language Bool

The language {aⁿbⁿ} over Bool, where false represents a and true represents b.

Equations

• anbn = {w : List Bool | ∃ (n : ℕ), w = List.replicate n false ++ List.replicate n true}