4kusto/vie - Change VEBP3HQRXLKSWFYSEN4G26WDWVUHFV47MHIFHBCID722MZZBOITAC

cleanup import

Created by 4kusto on January 31, 2026

VEBP3HQRXLKSWFYSEN4G26WDWVUHFV47MHIFHBCID722MZZBOITAC

Dependencies

[2] 6W6OJAUT3KLOXXKYR4GA3MG4ACLO2T4KX3SGD2KZDX6MYEZYTPHAC

In channels

main

Change contents

File deletion: Mode.lean

BF:BFD[2.806] → [2.55267:55300]

BF:BFD[2.55300] → [2.55301:55301]

B:BD[2.55301] → [2.55302:55626]

namespace ViE
inductive Mode where
  | normal
  | insert
  | command
  | visual
  | visualBlock
  deriving Repr, BEq, Inhabited
instance : ToString Mode where
  toString
    | .normal => "NORMAL"
    | .insert => "INSERT"
    | .command => "COMMAND"
    | .visual => "VISUAL"
    | .visualBlock => "VISUAL BLOCK"
end ViE

Replacement in ViE/IO.lean at line 3 [2.72280]
B:BD[2.72315] → [2.72315:72339]
```
import ViE.Buffer.LowIO
```
[2.72315]
[2.72339]
```
import ViE.Buffer
```
Replacement in ViE/Command/Dispatch.lean at line 10 [2.112422]
B:BD[2.112591] → [2.112591:112617]
```
import ViE.Buffer.Manager
```
[2.112591]
[2.112617]
```
import ViE.Buffer
```
Replacement in ViE/Actions.lean at line 11 [2.129515]
B:BD[2.129699] → [2.129699:129725]
```
import ViE.Buffer.Manager
```
[2.129699]
[2.129725]
```
import ViE.Buffer
```

cleanup import

Dependencies

In channels

Change contents

File deletion: Mode.lean

Replacement in ViE/IO.lean at line 3 [2.72280]

Replacement in ViE/Command/Dispatch.lean at line 10 [2.112422]

Replacement in ViE/Actions.lean at line 11 [2.129515]