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

Splits nixpkgs for CTL, Rust, Haskell.nix and the rest #172

Closed bladyjoker closed 6 months ago