Remove unnecessary guillemets from package names imports

lakefile.lean

@@ -9,17 +9,17 @@ require batteries from git "https://github.com/leanprover-community/batteries.gi
 
 require «lens-demo» from git "https://github.com/funexists/lens-demo.git" @ "v4.28.0"
 
-package «raylean» where
+package raylean where
   srcDir := "lean"
 
-lean_lib «Raylean» where
+lean_lib Raylean where
   precompileModules := true
 
-lean_lib «Examples» where
+lean_lib Examples where
   precompileModules := true
 
 @[default_target]
-lean_exe «raylean» where
+lean_exe raylean where
   root := `Main
   moreLinkArgs := Id.run do
     let mut args := #[ "lib/libraylib.a"]

lean/Examples.lean

@@ -1,4 +1,4 @@
-import «Examples».Window
-import «Examples».InputKeys
-import «Examples».Camera3D
-import «Examples».Camera2DPlatformer
+import Examples.Window
+import Examples.InputKeys
+import Examples.Camera3D
+import Examples.Camera2DPlatformer

lean/Examples/Camera2DPlatformer.lean

@@ -1,4 +1,4 @@
-import «Raylean»
+import Raylean
 
 import Examples.Camera2DPlatformer.Types
 open Types

lean/Examples/Camera3D.lean

@@ -1,4 +1,4 @@
-import «Raylean»
+import Raylean
 
 namespace Camera3D
 

lean/Examples/InputKeys.lean

@@ -1,4 +1,4 @@
-import «Raylean»
+import Raylean
 
 namespace InputKeys
 

lean/Examples/Selector.lean

@@ -1,4 +1,4 @@
-import «Raylean»
+import Raylean
 import Examples
 
 import Examples.Elab

lean/Examples/Window.lean

@@ -1,4 +1,4 @@
-import «Raylean»
+import Raylean
 
 namespace Window
 

lean/Main.lean

@@ -1,4 +1,4 @@
-import «Examples».Selector
+import Examples.Selector
 
 def main (args : List String) : IO Unit := do
   match args with

lean/Raylean.lean

@@ -1,5 +1,5 @@
-import «Raylean».Core
-import «Raylean».Math
-import «Raylean».Types
-import «Raylean».Frame
-import «Raylean».Graphics2D
+import Raylean.Core
+import Raylean.Math
+import Raylean.Types
+import Raylean.Frame
+import Raylean.Graphics2D

lean/Raylean/Core.lean

@@ -1,4 +1,4 @@
-import «Raylean».Types
+import Raylean.Types
 
 namespace Raylean
 

lean/Raylean/Frame.lean

@@ -1,4 +1,4 @@
-import «Raylean».Core
+import Raylean.Core
 
 namespace Raylean