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

Selectively updates flake inputs #137

Closed bladyjoker closed 8 months ago

bladyjoker commented 8 months ago

nix flake lock --update-input flake-utils --update-input pre-commit-hooks --update-input hci-effects --update-input iohk-nix --update-input flake-parts --update-input plutarch --update-input crane --update-input rust-overlay

bladyjoker commented 8 months ago

Taking this unsanctioned move to merge the PRs I have outstanding to get the Demo done.