-- This library
-- * mirrors the Haskell `base` package
-- * is intertwined with `agda2hs`

name: agda2hs-base
depend:
include: .
flags: -W noUnsupportedIndexedMatch --erasure --no-projection-like