{-# OPTIONS --safe --without-K #-}

module Term.StrongNormalization where

open import Term.StrongNormalization.Base public
open import Term.StrongNormalization.Properties public