-- This file should mirrors the flags for GHC 8.6.* enabled in -- `Agda.cabal` It should be loaded automatically by the `.ghci` file -- in this directory. :script .ghci-8.2 :set -Winaccessible-code :set -Wstar-binder :set -Wstar-is-type
