{-# OPTIONS --without-K --guardedness #-}

module README where

-- normalization for λ→□
import Unbox.README

-- formalization and normalization for Mint
import Mint.README
-- an example for normalization in Mint
import Mint.Example