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

feat(serial): Robust environment extension pickling #216

Merged
aniva merged 6 commits from serial/env-extensions into dev 2025-06-24 13:41:06 -07:00
Conversation 0 Commits 6 Files Changed 2 -3
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 771f8ad266 - Show all commits

3
Test/Common.lean
View File

@ -169,9 +169,6 @@ def transformTestT { α } { μ μ' : Type → Type }
set tests
return a
def cdeclOf (userName: Name) (type: Expr): Condensed.LocalDecl :=
{ userName, type }