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