Ord.agda

module Haskell.Law.Ord where

open import Haskell.Law.Ord.Def      public
open import Haskell.Law.Ord.Bool     public
open import Haskell.Law.Ord.Maybe    public
open import Haskell.Law.Ord.Ordering public