├── .github └── workflows │ ├── haskell-ci.1efbb276e.yml │ ├── haskell-ci.4710dff2e.yml │ └── haskell-ci.f680ac697.yml ├── .gitignore ├── .stylish-haskell.yaml ├── CHANGELOG.md ├── LICENSE ├── README.md ├── accept.sh ├── cabal.1efbb276e.haskell-ci ├── cabal.1efbb276e.project ├── cabal.4710dff2e.haskell-ci ├── cabal.4710dff2e.project ├── cabal.f680ac697.haskell-ci ├── cabal.f680ac697.project ├── cabal.ghc9.project ├── cabal.project ├── fixtures-1 ├── multisig-aggressive.txt ├── multisig-optimized.txt └── multisig-original.txt ├── fixtures-2 ├── multisig-aggressive.txt ├── multisig-optimized.txt └── multisig-original.txt ├── fixtures-3 ├── multisig-aggressive.txt ├── multisig-optimized.txt └── multisig-original.txt ├── fixtures-4 ├── multisig-aggressive.txt ├── multisig-optimized.txt └── multisig-original.txt ├── haskell-ci-regenerate.sh ├── plutonomy.cabal ├── src-subst ├── Subst.hs └── Subst │ └── Var.hs ├── src ├── Plutonomy.hs └── Plutonomy │ ├── Builtins.hs │ ├── Constant.hs │ ├── Conversion.hs │ ├── Hereditary.hs │ ├── Hereditary │ ├── Rewrite.hs │ └── Transform.hs │ ├── Known.hs │ ├── Linear.hs │ ├── MissingH.hs │ ├── Name.hs │ ├── Optimize.hs │ ├── Orphans.hs │ ├── PlutusExtras.hs │ ├── Pretty.hs │ ├── Raw.hs │ ├── Raw │ ├── Lets.hs │ ├── Rewrite.hs │ └── Transform.hs │ ├── Scripts.hs │ ├── Test.hs │ ├── TypedScripts.hs │ └── UPLC.hs ├── tests ├── MultiSig.hs └── plutonomy-tests.hs └── vendor └── plutus ├── 1efbb276e ├── cardano-binary-1.5.0.tar.gz ├── cardano-crypto-1.1.0.tar.gz ├── cardano-crypto-class-2.0.0.tar.gz ├── cardano-prelude-0.1.0.0.tar.gz ├── flat-0.4.5.tar.gz ├── plutus-core-0.1.0.0.tar.gz ├── plutus-ledger-api-0.1.0.0.tar.gz ├── plutus-tx-0.1.0.0.tar.gz ├── plutus-tx-plugin-0.1.0.0.tar.gz ├── prettyprinter-configurable-0.1.0.0.tar.gz └── word-array-0.1.0.0.tar.gz ├── 4710dff2e-c330fc60d ├── cardano-binary-1.5.0.tar.gz ├── cardano-crypto-1.1.0.tar.gz ├── cardano-crypto-class-2.0.0.tar.gz ├── cardano-prelude-0.1.0.0.tar.gz ├── flat-0.4.5.tar.gz ├── plutus-core-0.1.0.0.tar.gz ├── plutus-ledger-api-0.1.0.0.tar.gz ├── plutus-tx-0.1.0.0.tar.gz ├── plutus-tx-plugin-0.1.0.0.tar.gz ├── prettyprinter-configurable-0.1.0.0.tar.gz └── word-array-0.1.0.0.tar.gz └── f680ac697 ├── cardano-binary-1.5.0.tar.gz ├── cardano-crypto-1.1.0.tar.gz ├── cardano-crypto-class-2.0.0.tar.gz ├── cardano-prelude-0.1.0.0.tar.gz ├── flat-0.4.5.tar.gz ├── plutus-core-1.0.0.0.tar.gz ├── plutus-ledger-api-1.0.0.0.tar.gz ├── plutus-tx-1.0.0.0.tar.gz ├── plutus-tx-plugin-1.0.0.0.tar.gz ├── prettyprinter-configurable-0.1.0.0.tar.gz └── word-array-0.1.0.0.tar.gz /.github/workflows/haskell-ci.1efbb276e.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/.github/workflows/haskell-ci.1efbb276e.yml -------------------------------------------------------------------------------- /.github/workflows/haskell-ci.4710dff2e.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/.github/workflows/haskell-ci.4710dff2e.yml -------------------------------------------------------------------------------- /.github/workflows/haskell-ci.f680ac697.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/.github/workflows/haskell-ci.f680ac697.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/.gitignore -------------------------------------------------------------------------------- /.stylish-haskell.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/.stylish-haskell.yaml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/README.md -------------------------------------------------------------------------------- /accept.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/accept.sh -------------------------------------------------------------------------------- /cabal.1efbb276e.haskell-ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/cabal.1efbb276e.haskell-ci -------------------------------------------------------------------------------- /cabal.1efbb276e.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/cabal.1efbb276e.project -------------------------------------------------------------------------------- /cabal.4710dff2e.haskell-ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/cabal.4710dff2e.haskell-ci -------------------------------------------------------------------------------- /cabal.4710dff2e.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/cabal.4710dff2e.project -------------------------------------------------------------------------------- /cabal.f680ac697.haskell-ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/cabal.f680ac697.haskell-ci -------------------------------------------------------------------------------- /cabal.f680ac697.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/cabal.f680ac697.project -------------------------------------------------------------------------------- /cabal.ghc9.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/cabal.ghc9.project -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- 1 | cabal.ghc9.project -------------------------------------------------------------------------------- /fixtures-1/multisig-aggressive.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-1/multisig-aggressive.txt -------------------------------------------------------------------------------- /fixtures-1/multisig-optimized.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-1/multisig-optimized.txt -------------------------------------------------------------------------------- /fixtures-1/multisig-original.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-1/multisig-original.txt -------------------------------------------------------------------------------- /fixtures-2/multisig-aggressive.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-2/multisig-aggressive.txt -------------------------------------------------------------------------------- /fixtures-2/multisig-optimized.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-2/multisig-optimized.txt -------------------------------------------------------------------------------- /fixtures-2/multisig-original.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-2/multisig-original.txt -------------------------------------------------------------------------------- /fixtures-3/multisig-aggressive.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-3/multisig-aggressive.txt -------------------------------------------------------------------------------- /fixtures-3/multisig-optimized.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-3/multisig-optimized.txt -------------------------------------------------------------------------------- /fixtures-3/multisig-original.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-3/multisig-original.txt -------------------------------------------------------------------------------- /fixtures-4/multisig-aggressive.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-4/multisig-aggressive.txt -------------------------------------------------------------------------------- /fixtures-4/multisig-optimized.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-4/multisig-optimized.txt -------------------------------------------------------------------------------- /fixtures-4/multisig-original.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/fixtures-4/multisig-original.txt -------------------------------------------------------------------------------- /haskell-ci-regenerate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/haskell-ci-regenerate.sh -------------------------------------------------------------------------------- /plutonomy.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/plutonomy.cabal -------------------------------------------------------------------------------- /src-subst/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src-subst/Subst.hs -------------------------------------------------------------------------------- /src-subst/Subst/Var.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src-subst/Subst/Var.hs -------------------------------------------------------------------------------- /src/Plutonomy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy.hs -------------------------------------------------------------------------------- /src/Plutonomy/Builtins.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Builtins.hs -------------------------------------------------------------------------------- /src/Plutonomy/Constant.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Constant.hs -------------------------------------------------------------------------------- /src/Plutonomy/Conversion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Conversion.hs -------------------------------------------------------------------------------- /src/Plutonomy/Hereditary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Hereditary.hs -------------------------------------------------------------------------------- /src/Plutonomy/Hereditary/Rewrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Hereditary/Rewrite.hs -------------------------------------------------------------------------------- /src/Plutonomy/Hereditary/Transform.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Hereditary/Transform.hs -------------------------------------------------------------------------------- /src/Plutonomy/Known.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Known.hs -------------------------------------------------------------------------------- /src/Plutonomy/Linear.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Linear.hs -------------------------------------------------------------------------------- /src/Plutonomy/MissingH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/MissingH.hs -------------------------------------------------------------------------------- /src/Plutonomy/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Name.hs -------------------------------------------------------------------------------- /src/Plutonomy/Optimize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Optimize.hs -------------------------------------------------------------------------------- /src/Plutonomy/Orphans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Orphans.hs -------------------------------------------------------------------------------- /src/Plutonomy/PlutusExtras.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/PlutusExtras.hs -------------------------------------------------------------------------------- /src/Plutonomy/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Pretty.hs -------------------------------------------------------------------------------- /src/Plutonomy/Raw.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Raw.hs -------------------------------------------------------------------------------- /src/Plutonomy/Raw/Lets.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Raw/Lets.hs -------------------------------------------------------------------------------- /src/Plutonomy/Raw/Rewrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Raw/Rewrite.hs -------------------------------------------------------------------------------- /src/Plutonomy/Raw/Transform.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Raw/Transform.hs -------------------------------------------------------------------------------- /src/Plutonomy/Scripts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Scripts.hs -------------------------------------------------------------------------------- /src/Plutonomy/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/Test.hs -------------------------------------------------------------------------------- /src/Plutonomy/TypedScripts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/TypedScripts.hs -------------------------------------------------------------------------------- /src/Plutonomy/UPLC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/src/Plutonomy/UPLC.hs -------------------------------------------------------------------------------- /tests/MultiSig.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/tests/MultiSig.hs -------------------------------------------------------------------------------- /tests/plutonomy-tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/tests/plutonomy-tests.hs -------------------------------------------------------------------------------- /vendor/plutus/1efbb276e/cardano-binary-1.5.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/1efbb276e/cardano-binary-1.5.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/1efbb276e/cardano-crypto-1.1.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/1efbb276e/cardano-crypto-1.1.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/1efbb276e/cardano-crypto-class-2.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/1efbb276e/cardano-crypto-class-2.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/1efbb276e/cardano-prelude-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/1efbb276e/cardano-prelude-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/1efbb276e/flat-0.4.5.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/1efbb276e/flat-0.4.5.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/1efbb276e/plutus-core-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/1efbb276e/plutus-core-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/1efbb276e/plutus-ledger-api-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/1efbb276e/plutus-ledger-api-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/1efbb276e/plutus-tx-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/1efbb276e/plutus-tx-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/1efbb276e/plutus-tx-plugin-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/1efbb276e/plutus-tx-plugin-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/1efbb276e/prettyprinter-configurable-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/1efbb276e/prettyprinter-configurable-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/1efbb276e/word-array-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/1efbb276e/word-array-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/4710dff2e-c330fc60d/cardano-binary-1.5.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/4710dff2e-c330fc60d/cardano-binary-1.5.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/4710dff2e-c330fc60d/cardano-crypto-1.1.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/4710dff2e-c330fc60d/cardano-crypto-1.1.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/4710dff2e-c330fc60d/cardano-crypto-class-2.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/4710dff2e-c330fc60d/cardano-crypto-class-2.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/4710dff2e-c330fc60d/cardano-prelude-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/4710dff2e-c330fc60d/cardano-prelude-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/4710dff2e-c330fc60d/flat-0.4.5.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/4710dff2e-c330fc60d/flat-0.4.5.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/4710dff2e-c330fc60d/plutus-core-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/4710dff2e-c330fc60d/plutus-core-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/4710dff2e-c330fc60d/plutus-ledger-api-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/4710dff2e-c330fc60d/plutus-ledger-api-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/4710dff2e-c330fc60d/plutus-tx-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/4710dff2e-c330fc60d/plutus-tx-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/4710dff2e-c330fc60d/plutus-tx-plugin-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/4710dff2e-c330fc60d/plutus-tx-plugin-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/4710dff2e-c330fc60d/prettyprinter-configurable-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/4710dff2e-c330fc60d/prettyprinter-configurable-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/4710dff2e-c330fc60d/word-array-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/4710dff2e-c330fc60d/word-array-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/f680ac697/cardano-binary-1.5.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/f680ac697/cardano-binary-1.5.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/f680ac697/cardano-crypto-1.1.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/f680ac697/cardano-crypto-1.1.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/f680ac697/cardano-crypto-class-2.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/f680ac697/cardano-crypto-class-2.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/f680ac697/cardano-prelude-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/f680ac697/cardano-prelude-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/f680ac697/flat-0.4.5.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/f680ac697/flat-0.4.5.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/f680ac697/plutus-core-1.0.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/f680ac697/plutus-core-1.0.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/f680ac697/plutus-ledger-api-1.0.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/f680ac697/plutus-ledger-api-1.0.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/f680ac697/plutus-tx-1.0.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/f680ac697/plutus-tx-1.0.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/f680ac697/plutus-tx-plugin-1.0.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/f680ac697/plutus-tx-plugin-1.0.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/f680ac697/prettyprinter-configurable-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/f680ac697/prettyprinter-configurable-0.1.0.0.tar.gz -------------------------------------------------------------------------------- /vendor/plutus/f680ac697/word-array-0.1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/plutonomy/HEAD/vendor/plutus/f680ac697/word-array-0.1.0.0.tar.gz --------------------------------------------------------------------------------