TabsInPragmas.agda:1,5-5
TabsInPragmas.agda:1,5: Lexical
error (you may want to replace tabs with spaces): OPTIONS<ERROR>
--type-in-type #-} module Ta...