Relation.Closure

Source code on Github

{-# OPTIONS --with-K #-}
module Relation.Closure where

open import Relation.Closure.Core

open import Relation.Closure.ReflTrans
open import Relation.Closure.ReflTrans.WithK
open import Relation.Closure.LReflTrans

open import Relation.Closure.UpTo.ReflTrans
open import Relation.Closure.UpTo.LReflTrans