Fixed Plutarch example

Author: bladyjoker

docs/plutarch/app/Example.hs

@@ -18,9 +18,8 @@ import Plutarch.Api.V1 (PCurrencySymbol (PCurrencySymbol), PTokenName (PTokenNam
 import Plutarch.Api.V1.Time (PPOSIXTime (PPOSIXTime))
 import Plutarch.ByteString (PByteString)
 import Plutarch.Evaluate (evalScript)
-import Plutarch.Extra.TermCont (pletC, pmatchC)
 import Plutarch.Maybe qualified as Scott
-import Plutarch.Prelude (PAsData, PBool (PFalse, PTrue), PBuiltinList, PEq ((#==)), PIsData, pconstant, pdata, pfind, pfromData, pif, pshow, ptrace, (#&&))
+import Plutarch.Prelude (PAsData, PBool (PFalse, PTrue), PBuiltinList, PEq ((#==)), PIsData, pconstant, pdata, pfind, pfromData, pif, pletC, pmatchC, pshow, ptrace, (#&&))
 
 userRef :: Text -> Term s (Ref User)
 userRef userName = userRef' (pfromData $ name userName)

docs/plutarch/build.nix

@@ -19,7 +19,6 @@
           "${config.packages.lbf-plutarch-example-api}"
           # Plutarch itself
           "${inputs.plutarch}"
-          "${inputs.plutarch}/plutarch-extra"
         ];
 
         devShellTools = config.settings.shell.tools;

docs/plutarch/plutarch-example.cabal

@@ -90,7 +90,6 @@ executable plutarch-example
     , lbf-prelude-plutarch
     , lbr-plutarch
     , plutarch
-    , plutarch-extra
     , text                      >=1.2
 
   hs-source-dirs: app