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

Draft of milestone 3 report #222

Closed jaredponn closed 3 weeks ago

jaredponn commented 1 month ago

Read the document here

https://github.com/mlabs-haskell/lambda-buffers/blob/jared/milestone-3-report/docs/aiken-integration.md

jaredponn commented 4 weeks ago

Alright, I think this should be mostly in shape for sending it off (fingers crossed!).

To see the milestone report on the website, type

nix develop .#dev-docs
cd docs
mdbook build
chromium book/index.html