Neptune

Experiments with Plutus Core

Resources

• Encoding/Decoding https://github.com/input-output-hk/plutus/blob/master/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Core/Instance/Flat.hs
• Typing https://github.com/input-output-hk/plutus/blob/master/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Core/Type.hs
• Serialization https://hydra.iohk.io/build/14133599/download/1/plutus-core-specification.pdf