0d7eedf2 - miscelleaneous

Authored by: Anthony Wang
Authored at: 2025-10-26 15:00:53 -0400
Committed by: Anthony Wang
Committed at: 2025-10-26 15:00:53 -0400
Signature: View
-----BEGIN SSH SIGNATURE----- U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg8Ms9qQOcB6WoVNS51AHxfRPvJz /x6RXeMaql4lvTraUAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5 AAAAQL3LVC/Gj/aEHSTWU45/I045dNltFvVGiWNYeAUb5PlBKIH90ULVpUj1xDOAsg1HKE qrBqRHY8NogqmY4N1nBAU= -----END SSH SIGNATURE-----
Object name: 0d7eedf2bcca6bcce88b2d9f6af9c5b9beab5f96
Parent: 36f86264

Remove useless import from Compose.lean

Changes

1 changed files (+0/-1)

Compose.lean
- @@ -1,4 +1,3 @@
  - import Lake.Build import Std.Data.HashMap import Lean.Data.Json.Parser