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

Flake update #102

Closed bladyjoker closed 10 months ago

bladyjoker commented 11 months ago

@szg251 could you please take a look at this. We have some packages that come from CTL and some other places that are problematic and mess with our automatic flake updates. Would you mind playing with this a bit?