Prelude.Generics

Source code on Github
------------------------------------------------------------------------

-- Meta-programming utilities
------------------------------------------------------------------------
module Prelude.Generics where

open import Prelude.Generics.Core public
open import Prelude.Generics.Deriving public
open import Prelude.Generics.Debug public
open import Prelude.Generics.Utils public