_CoqProject

-arg -w -arg -projection-no-head-constant
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -notation-overridden
-arg -w -arg -ambiguous-paths
-arg -w -arg -notation-incompatible-format
-arg -w -arg -elpi.add-const-for-axiom-or-sectionvar

theories/core/preamble.v
theories/core/hierarchy.v
theories/core/category.v
theories/core/monad_transformer.v
theories/lib/monad_lib.v
theories/lib/fail_lib.v
theories/lib/state_lib.v
theories/lib/array_lib.v
theories/lib/trace_lib.v
theories/lib/proba_lib.v
theories/lib/typed_store_lib.v
theories/models/monad_model.v
theories/models/proba_monad_model.v
theories/models/gcm_model.v
theories/models/altprob_model.v
theories/models/typed_store_model.v
theories/applications/monad_composition.v
theories/applications/example_spark.v
theories/applications/example_nqueens.v
theories/applications/example_relabeling.v
theories/applications/example_quicksort.v
theories/applications/example_iquicksort.v
theories/applications/example_monty.v
theories/applications/example_typed_store.v
theories/applications/smallstep.v
theories/applications/example_transformer.v
theories/applications/category_ext.v
theories/all_monae.v

-R . monae