Tabs.agda:5,1-1
Tabs.agda:5,1: Lexical error
(you may want to replace tabs with spaces): tab:<ERROR> : Set₁ tab:
= Set ...