Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

fix typos

Browse source
This commit is contained in:
Hongrui Fang 2022-10-28 18:44:51 +08:00
parent db15b4c218
commit 2a2244b08a
3 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora/Agora/Proposal.hs
View file

@ -890,7 +890,7 @@ pwinner' = phoistAcyclic $
pfoldr # f # 0 # l #== 1 pfoldr # f # 0 # l #== 1
exceedQuorum = exceedQuorum =
ptraceIfFalse "Highest vote count should exceed the minimum threshold" $ ptraceIfFalse "Highest vote count should be at least the minimum threshold" $
quorum #<= highestVotes quorum #<= highestVotes
pure $ pure $

2
agora/Agora/Proposal/Scripts.hs
View file

@ -478,7 +478,7 @@ proposalValidator =
) )
# sctxF.inputStakes # sctxF.inputStakes
pguardC "Exceed minimum amount" $ pguardC "At least minimum amount" $
thresholdsF.vote #<= totalStakeAmount thresholdsF.vote #<= totalStakeAmount
pguardC "Input proposal must be in VotingReady state" $ pguardC "Input proposal must be in VotingReady state" $

4
agora/Agora/Proposal/Time.hs
View file

@ -416,7 +416,7 @@ data PTimingRelation (s :: S)
instance DerivePlutusType PTimingRelation where instance DerivePlutusType PTimingRelation where
type DPTStrat _ = PlutusTypeEnumData type DPTStrat _ = PlutusTypeEnumData
{- | Return truw if a relation is 'PWithin'. {- | Return true if a relation is 'PWithin'.
@since 1.0.0 @since 1.0.0
-} -}
@ -455,7 +455,7 @@ instance DerivePlutusType PPeriod where
{- | Compute the relation between current time range and the given peroid, {- | Compute the relation between current time range and the given peroid,
providing the starting time and timing configuration of a proposal. If the providing the starting time and timing configuration of a proposal. If the
relation cannot be ddetermined, error out. relation cannot be determined, error out.
@since 1.0.0 @since 1.0.0
-} -}