CoNaturals.Type
Martin Escardo 2024.
Interface file. Please use this rather than the 2012 file imported below.
{-# OPTIONS --safe --without-K #-}
module CoNaturals.Type where
open import CoNaturals.GenericConvergentSequence public
Martin Escardo 2024.
Interface file. Please use this rather than the 2012 file imported below.
{-# OPTIONS --safe --without-K #-}
module CoNaturals.Type where
open import CoNaturals.GenericConvergentSequence public