CTL integration - Githubissues

mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages

Apache License 2.0

29 stars 0 forks source link

Closed bladyjoker closed 1 year ago

bladyjoker commented 1 year ago

DONE

lbf and lbg implement the gen-class flag to instruct the stack to generate implementions for specified classes
lbr-plutus
- Instance property tests
lbt-plutus
- Derive property tests
- TODO: Derive golden tests
- TODO: Instance golden tests