search

mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages
https://mlabs-haskell.github.io/lambda-buffers/
Apache License 2.0
29 stars 0 forks source link

Demo fixes #140

Closed bladyjoker closed 8 months ago

bladyjoker commented 8 months ago

DONE -[x] Fixes Nix wrong invocation (~5h) -[x] Fixes PlutusTx finding GHC.Eq instance rather than PlutusTx -[x] Fixes INLINABLE everywhere -[x] Adds GHC OPTIONS to Haskell Codegen for PlutusTx -[x] NoImplicitPrelude attached everwhere in Haskell gen -[x] Bunch of CTL fixes