issues
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
lbf-nix for Rust
#164
Closed
szg251
closed
7 months ago
szg251
commented
7 months ago
This PR includes the following:
nix scaffolding for the testsuites
appending Rust module declarations to autogen output
fixing problem when extra sources depend on each other
generating Cargo.toml file for autogen output
discovering dependency crate and module names, inject the mapping to codegen
This PR includes the following: