15 lines
188 B
Plaintext
15 lines
188 B
Plaintext
|
name: cwfs
|
||
|
|
include:
|
||
|
|
src
|
||
|
|
|
||
|
|
flags:
|
||
|
|
--cubical
|
||
|
|
--no-load-primitives
|
||
|
|
--postfix-projections
|
||
|
|
--rewriting
|
||
|
|
--guardedness
|
||
|
|
--two-level
|
||
|
|
-W noNoEquivWhenSplitting
|
||
|
|
|
||
|
|
depend:
|
||
|
|
cubical-1lab
|