{-# OPTIONS --safe #-}

module Truth where

open import Truth.Definition public
open import Truth.Combinators public
open import Truth.Logic public
open import Truth.LZero public