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

module Layered.README where

-- the presheaf model for layered modal type theory
import Layered.Presheaf