feat: Update `CoreM` options from parsed header #177

Merged

aniva merged 5 commits from frontend/env-init into dev

2025-03-28 18:56:22 -07:00

Author	SHA1	Message	Date
Leni Aniva	9980fd9c39	test(repl): Environment loading from header	2025-03-28 18:45:58 -07:00
Leni Aniva	8adab24157	fix: Call sites in `Main.lean`	2025-03-28 00:56:18 -07:00
Leni Aniva	c2b7501649	refactor: Remove `CoreM` from `MainM`	2025-03-28 00:50:39 -07:00
Leni Aniva	0fea0b50c9	Merge branch 'dev' into frontend/env-init	2025-03-25 12:27:32 -07:00
Leni Aniva	3e55b4b22f	feat(repl): Record last scope	2025-03-24 17:47:56 -07:00

feat: Update CoreM options from parsed header #177