(Ara) whitespace + other small cleanup here and there

2026-07-02 12:08:34 -06:00 · 2018-12-31 18:01:33 +02:00
parent 10f5e126ab
commit a6948288b7
15 changed files with 55 additions and 64 deletions
@@ -1,6 +1,6 @@
 --# -path=.:../abstract:../common:../api:../prelude

-concrete LangAra of Lang = 
+concrete LangAra of Lang =
  GrammarAra,
  LexiconAra,
  ConstructionAra
@@ -9,5 +9,3 @@ concrete LangAra of Lang =
  flags startcat = Phr ; unlexer = text ; lexer = text ; coding = utf8 ;

 }
-
-