{-# OPTIONS --without-K --safe #-} module CLayered.README where -- the presheaf model for layered modal type theory with pattern matching on code import CLayered.Presheaf