I copied the plutus-starter template: https://github.com/input-output-hk/plutus-starter and created a file
BasicPlutusTx.hs (and added it under
exposed-modules in the
Then I started copying over all the code from the introductory tutorial: https://plutus.readthedocs.io/en/latest/plutus/tutorials/plutus-tx.html
which includes doctests. What do I need to add to the
.cabal file to run these doctests?