name: cubical-experiments
include: .
depend:
    1lab
flags:
    --cubical
    --no-load-primitives
    --no-import-sorts
    --postfix-projections
    --allow-unsolved-metas
    --rewriting
    --guardedness
    -W noInteractionMetaBoundaries
    -W noUnsupportedIndexedMatch
