-- This file should mirror the flags for GHC 8.8.* enabled in -- `Agda.cabal`. It should be loaded automatically by the `.ghci` file -- in this directory. :script .ghci-8.6 :set -Wmissed-extra-shared-lib
