agda2hs-1.3: lib/Haskell/Law/Num.agda

module Haskell.Law.Num where

open import Haskell.Law.Num.Def     public
open import Haskell.Law.Num.Int     public
open import Haskell.Law.Num.Integer public
open import Haskell.Law.Num.Nat     public
open import Haskell.Law.Num.Word    public