Typescript prelude runtime

mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages

Apache License 2.0

29 stars 0 forks source link

Closed jaredponn closed 9 months ago

jaredponn commented 10 months ago

Prelude TODOs:

[x] Prelude runtime (mostly)
[ ] Prelude runtime using a sensible Map / Set to something else that doesn't use strange (to Haskell programmers) notions of equality.
[x] Prelude runtime tests (mostly)
[ ] Map / set tests

Plutus TODOs

jaredponn commented 9 months ago

Renamed to #150