aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 15 Pull Requests 4 Packages Projects Releases Wiki Activity

fix(goal): Unknown metavariable problem during fragment initialization #222

Merged
aniva merged 4 commits from bug/unknown-metavariable-fragment into dev 2025-06-30 15:28:29 -07:00
Conversation 0 Commits 4 Files Changed 6 +71 -11

4 Commits

Author SHA1 Message Date
Leni Aniva 16474b2ce8
test(repl): Add test for conv and calc 2025-06-30 15:27:51 -07:00
Leni Aniva 3fab7e7818
fix(repl): Allow .none in parentExpr 2025-06-30 15:08:46 -07:00
Leni Aniva dd7c6c36c8
fix(goal): Allow parent expr to be fragments 2025-06-30 15:00:30 -07:00
Leni Aniva 8857b88d9a
fix(goal): Restore elaboration monad 2025-06-30 14:52:38 -07:00