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

fix: env.add Declarations with universe levels #181

Merged
aniva merged 4 commits from bug/env-add-level into dev 2025-03-29 15:48:13 -07:00
Conversation 0 Commits 4 Files Changed 4 +36 -15

4 Commits

Author SHA1 Message Date
Leni Aniva 664516f148
Merge branch 'dev' into bug/env-add-level 2025-03-29 15:44:53 -07:00
Leni Aniva 91fbc4cdca
chore: Remove redundant code 2025-03-29 15:43:49 -07:00
Leni Aniva b9ff9e8f13
feat(repl): Optional type argument in `env.add` 2025-03-29 14:51:35 -07:00
Leni Aniva 9ea099827f
fix(env): Adding declarations with universe levels 2025-03-29 14:39:42 -07:00