path: root/src/Cfe/Fin.agda

{-# OPTIONS --without-K --safe #-}

module Cfe.Fin where

open import Cfe.Fin.Base public
open import Cfe.Fin.Properties public