.ghci860

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