optionsPragma.agda

{-# OPTIONS --no-termination-check #-}
module optionsPragma where

-- Only goes through with the termination checker turned off.
Foo : Set
Foo = Foo