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

feat: Draft tactic REPL interface #158

Merged
aniva merged 2 commits from tactic/draft into dev 2025-01-16 10:32:48 -08:00
Conversation 0 Commits 2 Files Changed 5 +30 -15

2 Commits

Author SHA1 Message Date
Leni Aniva 62363cb943
fix: Over-eager assertion of fvarId validity 2025-01-14 13:21:38 -08:00
Leni Aniva 9d445783c2
feat: Draft tactic REPL interface 2025-01-13 12:50:25 -08:00