{-# OPTIONS --without-K #-}
module bijection-syntax.README where

open import bijection-syntax.Bijection
open import bijection-syntax.Bijection-Fin