Fin.agda « Cfe « src - yellowsquid/cfe-proof.git - [no description]

summary refs log tree commit diff

path: root/src/Cfe/Fin.agda

blob: 428e3c0e9ef052004e105152318c0daaa3dc304f (plain)

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

module Cfe.Fin where

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