{-# OPTIONS --without-K --safe #-}

module README where

-- normalization for 2Lλ□
import Layered.Presheaf

-- normalization for 2LCλ□
import CLayered.Presheaf