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
Catalsyt milestone 4 efforts
#95
Closed
bladyjoker
closed
1 year ago
bladyjoker
commented
1 year ago
DONE
lbf-prelude and lbf-plutus packages in
libs
lbr-prelude and lbr-plutus implemented for Haskell and Purescript (WIP: plutus)
lbt-prelude implemented for Haskell and Purescript
lbt-plutus implemented for Haskell and Purescript (WIP: Plutus)
Json LamVal spec and Json code generation
DONE
libs