name: cubical-mini-0.6
include: src
depend:
flags:
  --erased-cubical
  --erasure
  --erased-matches
  --exact-split
  --guardedness
  --hidden-argument-puns
  --no-import-sorts
  --postfix-projections

  -Werror
  -WnoUnsupportedIndexedMatch
