claudiomaradonna/plutus-pioneer-program
1
0
Fork 0
mirror of https://github.com/FiloSpaTeam/plutus-pioneer-program.git synced 2024-11-21 22:32:00 +01:00
Code Issues Projects Releases Packages Wiki Activity

small improvements

Browse source
This commit is contained in:
Lars Brünjes 2021-05-27 14:55:52 +02:00
parent d8678326a8
commit ba40342f1d
No known key found for this signature in database
GPG key ID: B488B9045DC1A087
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
code/week08/src/Week08/QuickCheck.hs
View file

@ -1,7 +1,5 @@
module Week08.QuickCheck where
import Test.QuickCheck
prop_simple :: Bool
prop_simple = 2 + 2 == (4 :: Int)

4
code/week08/src/Week08/TokenSale.hs
View file

@ -72,8 +72,8 @@ transition ts s r = case (stateValue s, stateData s, r) of
)
(v, p, AddTokens n) | n > 0 -> Just ( mempty
, State p $
v <>
nft (negate 1) <>
v <>
nft (negate 1) <>
assetClassValue (tsToken ts) n
)
(v, p, BuyTokens n) | n > 0 -> Just ( mempty