fix typos

agora/Agora/Governor.hs

@@ -36,7 +36,7 @@ import Agora.Proposal.Time (
   PProposalTimingConfig,
   ProposalTimingConfig,
   pisMaxTimeRangeWidthValid,
-  pisProposalTimeingConfigValid,
+  pisProposalTimingConfigValid,
  )
 import Agora.SafeMoney (GTTag)
 import Data.Tagged (Tagged (..))
@@ -254,10 +254,10 @@ pisGovernorDatumValid = phoistAcyclic $
     pure $
       foldr1
         (#&&)
-        [ ptraceIfFalse "thersholds valid" $
+        [ ptraceIfFalse "thresholds valid" $
             pisProposalThresholdsValid # datumF.proposalThresholds
         , ptraceIfFalse "timings valid" $
-            pisProposalTimeingConfigValid # datumF.proposalTimings
+            pisProposalTimingConfigValid # datumF.proposalTimings
         , ptraceIfFalse "time range valid" $
             pisMaxTimeRangeWidthValid # datumF.createProposalTimeRangeMaxWidth
         ]

agora/Agora/Proposal/Time.hs

@@ -26,7 +26,7 @@ module Agora.Proposal.Time (
   isVotingPeriod,
   isLockingPeriod,
   isExecutionPeriod,
-  pisProposalTimeingConfigValid,
+  pisProposalTimingConfigValid,
   pisMaxTimeRangeWidthValid,
 ) where
 
@@ -280,8 +280,8 @@ deriving via
 
      @since 0.2.0
 -}
-pisProposalTimeingConfigValid :: Term s (PProposalTimingConfig :--> PBool)
-pisProposalTimeingConfigValid = phoistAcyclic $
+pisProposalTimingConfigValid :: Term s (PProposalTimingConfig :--> PBool)
+pisProposalTimingConfigValid = phoistAcyclic $
   plam $ \conf -> unTermCont $ do
     confF <- pletAllC conf