Skip to content
This repository was archived by the owner on Aug 24, 2024. It is now read-only.

Commit 4dd8e71

Browse files
insightmindinsightmind
committed
chore: split DataTypes.lean content
1 parent 7c9f47f commit 4dd8e71

File tree

5 files changed

+405
-375
lines changed

5 files changed

+405
-375
lines changed

‎LeanInk/Analysis.lean

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,6 @@
11
import LeanInk.Analysis.Analysis
22
import LeanInk.Analysis.Basic
33
import LeanInk.Analysis.DataTypes
4-
import LeanInk.Analysis.LeanContext
4+
import LeanInk.Analysis.LeanContext
5+
import LeanInk.Analysis.SemanticToken
6+
import LeanInk.Analysis.InfoTreeTraversal

‎LeanInk/Analysis/Analysis.lean

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
import LeanInk.Analysis.DataTypes
22
import LeanInk.Analysis.LeanContext
3+
import LeanInk.Analysis.InfoTreeTraversal
34

45
import LeanInk.Configuration
56
import LeanInk.Logger

0 commit comments

Comments
 (0)