Refactoring AST

leanprover · Sep 9, 2024 · 79f5ad0 · 79f5ad0
1 parent 861191a
commit 79f5ad0
Show file tree

Hide file tree

Showing 21 changed files with 320 additions and 480 deletions.
diff --git a/SHerLOC/AST/Basic.lean b/SHerLOC/AST/Basic.lean
diff --git a/SHerLOC/AST/Constants.lean b/SHerLOC/AST/Constants.lean
diff --git a/SHerLOC/AST/Functions.lean b/SHerLOC/AST/Functions.lean
diff --git a/SHerLOC/AST/Identifiers.lean b/SHerLOC/AST/Identifiers.lean
diff --git a/SHerLOC/AST/Modules.lean b/SHerLOC/AST/Modules.lean
diff --git a/SHerLOC/AST/Numbers.lean b/SHerLOC/AST/Numbers.lean
diff --git a/SHerLOC/AST/Operations.lean b/SHerLOC/AST/Operations.lean
diff --git a/SHerLOC/AST/Programs.lean b/SHerLOC/AST/Programs.lean