------------------------------------------------------------------------ -- Properties of the target language. ------------------------------------------------------------------------ module Graded.Erasure.Target.Properties where open import Graded.Erasure.Target.Properties.Reduction public open import Graded.Erasure.Target.Properties.Substitution public open import Graded.Erasure.Target.Properties.Weakening public