------------------------------------------------------------------------ -- Encoder and decoder instances for Atom.χ-ℕ-atoms ------------------------------------------------------------------------ module Coding.Instances.Nat where open import Atom -- The code-Var and code-Const instances are hidden: they are replaced -- by the code-ℕ instance. open import Coding.Instances χ-ℕ-atoms public hiding (rep-Var; rep-Const)