diff --git a/README.md b/README.md new file mode 100644 index 00000000..e7b14fcb --- /dev/null +++ b/README.md @@ -0,0 +1,9 @@ +# 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