aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 8 Pull Requests 2 Packages Projects Releases 1 Wiki Activity

doc: Update delation documentation

This commit is contained in:
Leni Aniva 2024-11-08 14:34:15 -08:00
parent 0d57027681
commit 70f86f6e93
Signed by: aniva
GPG Key ID: 4D9B1C8D10EA4C50
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Pantograph/Delate.lean
View File

@ -1,7 +1,5 @@
/- /-
All serialisation functions; This file handles "Delation": The conversion of Kernel view into Search view.
This replicates the behaviour of `Scope`s in `Lean/Elab/Command.lean` without
using `Scope`s.
-/ -/
import Lean import Lean
import Pantograph.Expr import Pantograph.Expr