SafeFlagPragmas.agda

{-# OPTIONS --allow-unsolved-metas
            --no-positivity-check
            --no-termination-check
            --no-coverage-check
            --type-in-type
            --sized-types
            --injective-type-constructors
            --guardedness-preserving-type-constructors
            --experimental-irrelevance #-}
module SafeFlagPragmas where