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

Breaking up the typescript runtime to separate repos. #153

Closed jaredponn closed 5 months ago

jaredponn commented 7 months ago

In #150, the Typescript runtime includes goodies that can be put into different repos / libraries.

In particular, it would be nice to break it up into repos

We could also bundle tarballs up and put them on Github so npm users could just grab and extract the tarballs they are interested in without necessarily using nix.

See discussion here: https://github.com/mlabs-haskell/lambda-buffers/pull/150#discussion_r1406450309

Another TODO is that prelude-ts has basic unit tests, and this can be changed to property based testing with fast-check

jaredponn commented 5 months ago

This was resolved in #161