module Chapter8.Brady.Main where

open import Chapter8.Brady.Vec
open import Chapter8.Brady.Fin