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

Fix milestone two typos + formatting + broken links #218

Closed jaredponn closed 2 months ago

jaredponn commented 2 months ago

See the document here:

https://github.com/mlabs-haskell/lambda-buffers/blob/jared/fix-milestone-2-typos/docs/catalyst10-reports/milestone-2.md