------------------------------------------------------------------------ -- Safe modules that use --cubical-compatible, --prop and -- --erased-matches ------------------------------------------------------------------------ {-# OPTIONS --safe --cubical-compatible --prop --erased-matches #-} module README.Safe.Cubical-compatible.Prop.Erased-matches where -- Code related to Squash that uses --erased-matches. import Squash.Erased-matches