{-# OPTIONS --without-K #-}
module segal.composition where

open import segal.composition.l1 public
open import segal.composition.l2 public
open import segal.composition.l3 public
open import segal.composition.l4 public