Skip to content

mlabs-haskell/cem-script

Repository files navigation

CEM Script

Project pitch

CEM Script is a framework to define Cardano DApp logic via annotated CEM-machines, resulting in free implementations for:

  • On-chain scripts
  • Transaction building/submission (off-chain)
  • Transaction parsing/indexing
  • Automatically testing invariants
  • Human-readable specs

Documentation

Building

Building is performed with cabalinside IOG's github:input-output-hk/devx shell. See .envrc for details.

Make sure to cabal update before building.

Running tests

Tests are runned in emulated environment using CLB.

Just run: cabal run cem-script-test.