Phase.agda

{-# OPTIONS --rewriting #-}

module Calf.Phase where

open import Calf.Phase.Core public
open import Calf.Phase.Open public
open import Calf.Phase.Closed public
open import Calf.Phase.Directed public
open import Calf.Phase.Noninterference