├── .github └── workflows │ └── test.yml ├── .gitignore ├── .vscode └── settings.json ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── cabal.project.offchain ├── cabal.project.onchain ├── cardano-dex-contracts-offchain ├── Contracts │ ├── deposit.uplc │ ├── pool.uplc │ ├── redeem.uplc │ ├── simpleStaking.uplc │ └── swap.uplc ├── ErgoDex │ ├── Contracts │ │ ├── Class.hs │ │ ├── Pool.hs │ │ ├── Proxy │ │ │ ├── Deposit.hs │ │ │ ├── Order.hs │ │ │ ├── Redeem.hs │ │ │ └── Swap.hs │ │ ├── Typed.hs │ │ └── Types.hs │ ├── PValidators.hs │ └── Plutus.hs ├── LICENSE ├── cardano-dex-contracts-offchain.cabal ├── hie.yaml └── test │ ├── Spec.hs │ └── Tests │ └── Contracts.hs ├── cardano-dex-contracts-onchain ├── ErgoDex │ ├── Contracts │ │ ├── Pool.hs │ │ └── Proxy │ │ │ ├── Deposit.hs │ │ │ ├── Order.hs │ │ │ ├── Redeem.hs │ │ │ └── Swap.hs │ ├── PConstants.hs │ ├── PContracts │ │ ├── PApi.hs │ │ ├── PAssets.hs │ │ ├── PDeposit.hs │ │ ├── PMintingValidators.hs │ │ ├── POrder.hs │ │ ├── PPool.hs │ │ ├── PPoolStakeChangeMintPolicy.hs │ │ ├── PRedeem.hs │ │ ├── PSimpleStaking.hs │ │ ├── PStakingWithPkhLock.hs │ │ ├── PSwap.hs │ │ └── PValidators.hs │ ├── PMintingValidators.hs │ ├── PStakingValidators.hs │ └── PValidators.hs ├── PExtra │ ├── API.hs │ ├── Ada.hs │ ├── Integer.hs │ ├── List.hs │ ├── Maybe.hs │ ├── Monadic.hs │ ├── Num.hs │ ├── PTriple.hs │ └── Pair.hs ├── cardano-dex-contracts-onchain.cabal ├── hie.yaml └── test │ ├── Eval.hs │ ├── Gen │ ├── DepositGen.hs │ ├── DestroyGen.hs │ ├── Models.hs │ ├── PoolGen.hs │ ├── RedeemGen.hs │ ├── SwapGen.hs │ └── Utils.hs │ ├── Spec.hs │ └── Tests │ ├── Api.hs │ ├── Deposit.hs │ ├── Pool.hs │ ├── Redeem.hs │ ├── StakeMinting.hs │ ├── Staking.hs │ └── Swap.hs ├── docs └── CardanoAmmDex.md ├── flake.lock └── flake.nix /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/.gitignore -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- 1 | { 2 | "nixEnvSelector.suggestion": false 3 | } -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/README.md -------------------------------------------------------------------------------- /cabal.project.offchain: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cabal.project.offchain -------------------------------------------------------------------------------- /cabal.project.onchain: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cabal.project.onchain -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/Contracts/deposit.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/Contracts/deposit.uplc -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/Contracts/pool.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/Contracts/pool.uplc -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/Contracts/redeem.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/Contracts/redeem.uplc -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/Contracts/simpleStaking.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/Contracts/simpleStaking.uplc -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/Contracts/swap.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/Contracts/swap.uplc -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/ErgoDex/Contracts/Class.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/ErgoDex/Contracts/Class.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/ErgoDex/Contracts/Pool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/ErgoDex/Contracts/Pool.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/ErgoDex/Contracts/Proxy/Deposit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/ErgoDex/Contracts/Proxy/Deposit.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/ErgoDex/Contracts/Proxy/Order.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/ErgoDex/Contracts/Proxy/Order.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/ErgoDex/Contracts/Proxy/Redeem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/ErgoDex/Contracts/Proxy/Redeem.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/ErgoDex/Contracts/Proxy/Swap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/ErgoDex/Contracts/Proxy/Swap.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/ErgoDex/Contracts/Typed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/ErgoDex/Contracts/Typed.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/ErgoDex/Contracts/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/ErgoDex/Contracts/Types.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/ErgoDex/PValidators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/ErgoDex/PValidators.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/ErgoDex/Plutus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/ErgoDex/Plutus.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/LICENSE -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/cardano-dex-contracts-offchain.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/cardano-dex-contracts-offchain.cabal -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/hie.yaml -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/test/Spec.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-offchain/test/Tests/Contracts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-offchain/test/Tests/Contracts.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/Contracts/Pool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/Contracts/Pool.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/Contracts/Proxy/Deposit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/Contracts/Proxy/Deposit.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/Contracts/Proxy/Order.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/Contracts/Proxy/Order.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/Contracts/Proxy/Redeem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/Contracts/Proxy/Redeem.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/Contracts/Proxy/Swap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/Contracts/Proxy/Swap.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PConstants.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PConstants.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/PApi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/PApi.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/PAssets.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/PAssets.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/PDeposit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/PDeposit.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/PMintingValidators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/PMintingValidators.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/POrder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/POrder.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/PPool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/PPool.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/PPoolStakeChangeMintPolicy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/PPoolStakeChangeMintPolicy.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/PRedeem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/PRedeem.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/PSimpleStaking.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/PSimpleStaking.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/PStakingWithPkhLock.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/PStakingWithPkhLock.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/PSwap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/PSwap.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PContracts/PValidators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PContracts/PValidators.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PMintingValidators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PMintingValidators.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PStakingValidators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PStakingValidators.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/ErgoDex/PValidators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/ErgoDex/PValidators.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/PExtra/API.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/PExtra/API.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/PExtra/Ada.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/PExtra/Ada.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/PExtra/Integer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/PExtra/Integer.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/PExtra/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/PExtra/List.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/PExtra/Maybe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/PExtra/Maybe.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/PExtra/Monadic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/PExtra/Monadic.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/PExtra/Num.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/PExtra/Num.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/PExtra/PTriple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/PExtra/PTriple.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/PExtra/Pair.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/PExtra/Pair.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/cardano-dex-contracts-onchain.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/cardano-dex-contracts-onchain.cabal -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/hie.yaml -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Eval.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Gen/DepositGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Gen/DepositGen.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Gen/DestroyGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Gen/DestroyGen.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Gen/Models.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Gen/Models.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Gen/PoolGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Gen/PoolGen.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Gen/RedeemGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Gen/RedeemGen.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Gen/SwapGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Gen/SwapGen.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Gen/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Gen/Utils.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Spec.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Tests/Api.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Tests/Api.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Tests/Deposit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Tests/Deposit.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Tests/Pool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Tests/Pool.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Tests/Redeem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Tests/Redeem.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Tests/StakeMinting.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Tests/StakeMinting.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Tests/Staking.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Tests/Staking.hs -------------------------------------------------------------------------------- /cardano-dex-contracts-onchain/test/Tests/Swap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/cardano-dex-contracts-onchain/test/Tests/Swap.hs -------------------------------------------------------------------------------- /docs/CardanoAmmDex.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/docs/CardanoAmmDex.md -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/spectrum-finance/cardano-dex-contracts/HEAD/flake.nix --------------------------------------------------------------------------------