blob: 7b6fe0654ff71ff975d03ba8f9255e5b52b3d638 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# OPTIONS --without-K --safe #-}
open import Level using (Level)
module Data.System {c ℓ : Level} where
open import Data.System.Core {c} {ℓ} public
open import Data.System.Category {c} {ℓ} public
open import Data.System.Looped {c} {ℓ} public
open import Data.System.Monoidal {c} {ℓ} public using (Systems-MC; Systems-SMC)
|
