Commit da25cce
- .gitignore+2
- .pre-commit-config.yaml+30
- Main.lean+1-1
- Pantograph/Delate.lean+29-22
- Pantograph/Frontend/Basic.lean+2-2
- Pantograph/Frontend/Distil.lean+3-1
- Pantograph/Frontend/Refactor.lean+7-3
- Pantograph/Library.lean+3-2
- Pantograph/Protocol.lean+12-2
- Pantograph/Version.lean+1-1
- README.md+1-19
- Repl.lean+42-35
- Test/Delate.lean+1-1
- Test/Integration.lean+22-22
- Test/Metavar.lean+1-1
- doc/contributing.md+4-2
- doc/repl.md+11-2
- flake.lock+3-3
- flake.nix+4-1
- lean-toolchain+1-1
0 commit comments