{-# OPTIONS --safe #-}
module Data.Fin.Computational where

open import Data.Fin.Computational.Base       public
open import Data.Fin.Computational.Closure    public
open import Data.Fin.Computational.Path       public
open import Data.Fin.Computational.Properties public

open import Data.Fin.Computational.Instances.Everything public
