chore: cleanup

Author: fgdorais

UnicodeBasic/CharacterDatabase.lean

@@ -3,6 +3,7 @@ Copyright © 2023 François G. Dorais. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 -/
 module
+
 public section
 
 namespace Unicode
@@ -63,6 +64,3 @@ protected def next? (stream : UCDStream) : Option (Array String.Slice × UCDStre
 
 instance : Std.Stream UCDStream (Array String.Slice) where
   next? := UCDStream.next?
-
-end UCDStream
-end Unicode

UnicodeBasic/Hangul.lean

@@ -115,5 +115,3 @@ def getSyllable! (code : UInt32) : Syllable :=
   match getSyllable? code with
   | some s => s
   | none => panic! "not a Hangul syllable"
-
-end Unicode.Hangul

UnicodeBasic/TableLookup.lean

@@ -6,6 +6,7 @@ module
 import UnicodeBasic.CharacterDatabase
 import UnicodeBasic.Hangul
 public import UnicodeBasic.Types
+
 public section
 
 namespace Unicode
@@ -407,5 +408,3 @@ def lookupScriptName (s : Script) : Option String.Slice :=
 where
   str : String := include_str "../data/table/Script_Name.txt"
   table : Thunk <| Array (UInt32 × String.Slice) := parseTable str fun _ n => n[0]!
-
-end Unicode

UnicodeBasic/Types.lean

@@ -1076,6 +1076,3 @@ def ofAbbrev? (abbr : String.Slice) : Option Script :=
 def ofAbbrev! (abbr : String.Slice) : Script := ofAbbrev? abbr |>.get!
 
 end Script
-
-end Unicode
-end

UnicodeData/Aliases.lean

@@ -2,7 +2,6 @@
 Copyright © 2026 François G. Dorais. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 -/
-
 module
 public import Std.Data.HashMap
 import UnicodeBasic.Types

UnicodeData/Basic.lean

@@ -2,7 +2,6 @@
 Copyright © 2023-2025 François G. Dorais. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 -/
-
 module
 import UnicodeBasic.CharacterDatabase
 import UnicodeBasic.Hangul
@@ -403,5 +402,3 @@ def UnicodeDataStream.next? (s : UnicodeDataStream) : Option (UnicodeData × Uni
 
 instance : Std.Stream UnicodeDataStream UnicodeData where
   next? := UnicodeDataStream.next?
-
-end Unicode

UnicodeData/PropList.lean

@@ -2,7 +2,6 @@
 Copyright © 2023-2025 François G. Dorais. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 -/
-
 module
 import UnicodeBasic.Types
 import UnicodeBasic.CharacterDatabase
@@ -173,5 +172,3 @@ def PropList.isDeprecated (code : UInt32) : Bool :=
     match data[find code data 0 data.size]! with
     | (val, none) => code == val
     | (_, some top) => code <= top
-
-end Unicode

UnicodeData/Scripts.lean

@@ -3,10 +3,9 @@ Copyright © 2026 François G. Dorais. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 -/
 module
-public import Std.Data.HashMap
-public import UnicodeBasic.Types
-public import UnicodeBasic.CharacterDatabase
 public import UnicodeData.Aliases
+import UnicodeBasic.Types
+import UnicodeBasic.CharacterDatabase
 
 public section