{-# OPTIONS --cumulativity #-} module ROmega.IndexCalculus where -------------------------------------------------------------------------------- -- Re-export Syntax & Semantics open import ROmega.IndexCalculus.Rows public open import ROmega.IndexCalculus.Records public open import ROmega.IndexCalculus.Variants public