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