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

module CLayered.README where

-- the presheaf model for layered modal type theory with pattern matching on code
import CLayered.Presheaf