-Q solutions solutions
-Q exercises exercises
# Iris 3.3 still uses this to be compatible with Coq 8.9.
-arg -w -arg -convert_concl_no_check
solutions/language.v
solutions/polymorphism.v
solutions/types.v
solutions/typed.v
solutions/sem_types.v
solutions/sem_type_formers.v
solutions/sem_typed.v
solutions/sem_operators.v
solutions/compatibility.v
solutions/fundamental.v
solutions/safety.v
solutions/two_state_ghost.v
solutions/symbol_ghost.v
solutions/unsafe.v
solutions/parametricity.v
solutions/interp.v
exercises/language.v
exercises/polymorphism.v
exercises/types.v
exercises/typed.v
exercises/sem_types.v
exercises/sem_type_formers.v
exercises/sem_typed.v
exercises/sem_operators.v
exercises/compatibility.v
exercises/fundamental.v
exercises/safety.v
exercises/two_state_ghost.v
exercises/symbol_ghost.v
exercises/unsafe.v
exercises/parametricity.v
exercises/interp.v