Plutus Playground Smart Contract

Playground.hs

-- https://docs.cardano.org/projects/plutus/en/latest/tutorials/basic-validators.html#basic-validators-tutorial
-- https://edu.clio.one/lessons/writing-your-first-plutus-smart-contract/lessons/writing-your-first-plutus-code/

module SimpleValidator where

import Data.Text
-- import Language.Plutus.Contract 
import Language.PlutusTx
--import qualified Language.PlutusTx as PlutusTx
import Playground.Contract
--import Ledger
--import qualified Language.PlutusTx as PlutusTx
import Ledger
import Ledger.Typed.Scripts

--theValidator :: ValidatorScript
theValidator :: Ledger.Typed.Scripts.ScriptInstance 
theValidator = ValidatorScript (fromCompiledCode $$(Language.PlutusTx.compile [|| \(a :: ()) (b :: ()) (c :: ()) -> () ||]))

Simulation.json

[0,[]]