{-# OPTIONS --cumulativity #-} module ROmega.Equivalence where -------------------------------------------------------------------------------- -- Re-export Syntax & Semantics open import ROmega.Equivalence.Syntax public open import ROmega.Equivalence.Semantics public