feat(frontend): Alternative methods of initializing environment #173

Merged
aniva merged 4 commits from frontend/env-init into dev 2025-03-14 16:48:40 -07:00
Owner

Solves #167

  • fix(frontend): open statement not inheriting from one command to the next.

Seems like Lean's command parsing system API had a minor change and we need to change the caller side to reflect this. Vide REPL

Solves https://git.leni.sh/aniva/Pantograph/issues/167 - fix(frontend): `open` statement not inheriting from one command to the next. Seems like Lean's command parsing system API had a minor change and we need to change the caller side to reflect this. Vide REPL
aniva added this to the 0.3 milestone 2025-03-09 18:30:22 -07:00
aniva added the
part/Frontend
category
feature
labels 2025-03-09 18:30:22 -07:00
aniva self-assigned this 2025-03-09 18:30:22 -07:00
aniva added 1 commit 2025-03-09 23:29:48 -07:00
aniva added a new dependency 2025-03-14 12:33:01 -07:00
aniva added 1 commit 2025-03-14 16:35:24 -07:00
aniva added 1 commit 2025-03-14 16:46:53 -07:00
aniva added 1 commit 2025-03-14 16:47:58 -07:00
aniva merged commit 8063039f7e into dev 2025-03-14 16:48:40 -07:00
aniva deleted branch frontend/env-init 2025-03-14 16:48:40 -07:00
Sign in to join this conversation.
No description provided.