agda2hs-1.4: lib/base/Haskell/Law/Eq.agda

module Haskell.Law.Eq where

open import Haskell.Law.Eq.Def       public
open import Haskell.Law.Eq.Instances public