effectfully
effectfully
@michaelpj can we simply define ```haskell (&&) :: Bool -> Bool -> Bool (&&) = \x y -> if x then y else False {-# INLINE (&&) #-} ``` This...
I believe we need an objective on coming up with a process to figure out 1. what kinds of things are there to stay 2. how to handle and report...
This is being worked on currently.
> `MkCons` is polymorphic from what I can tell. Fixed by #5157. Thanks for reporting! > The `metatheory` in general does not agree with the actual implementation w.r.t. builtins at...
@mesudip thank you for jumping in and providing a workaround. All the testing machinery has moved to the [plutus-apps](https://github.com/input-output-hk/plutus-apps) repo developed by the Plutus Tools team. I asked them a...
> > Describe the feature you'd like > > On-chain function to convert from Integer (or IsData instance) to ByteString We now have 1. [`serialiseData :: BuiltinData -> BuiltinByteString`](https://github.com/input-output-hk/plutus/blob/fe4dd1cfc6bdea5aed393099e6a697572df2e2b3/plutus-tx/src/PlutusTx/Builtins/Internal.hs#L506) 2....
To iterate on what @michaelpj and @zliu41 said, the choices that we have are: 1. add new builtins (tailored ones, or just `deserialiseData`). This should be done via https://github.com/cardano-foundation/CIPs 2....
> or just `deserialiseData` Incidentally, [here](https://github.com/cardano-foundation/CIPs/pull/218#issuecomment-1040129767) is some context regarding why we don't have this builtin. Credit for digging that out goes to @kwxm.
> i.e. on the previous version True was failing and 1 == 1 was passing, but now it's the other way around. WAT? @KtorZ @ch1bo Did you guys figure out...