feat: Automatic Mode #92

Merged

aniva merged 9 commits from goal/automatic into dev

2024-09-08 12:25:07 -07:00

Author	SHA1	Message	Date
Leni Aniva	b645d79fda	Merge branch 'dev' into goal/automatic	2024-09-08 12:13:42 -07:00
Leni Aniva	25bb964604	test: Automatic mode testing refactor: Simplified integration test structure	2024-09-08 11:57:39 -07:00
Leni Aniva	e4d53733d0	feat: Simplify repl	2024-09-07 14:03:29 -07:00
Leni Aniva	68dac4c951	chore: Version bump to 0.2.18	2024-09-07 13:55:41 -07:00
Leni Aniva	9b3eef35ec	fix: Forgot to include the current goals in resume	2024-09-06 22:22:19 -07:00
Leni Aniva	a7b30af36b	refactor: Refactor REPL out of main library fix: Calc previous rhs not found bug	2024-09-06 22:01:36 -07:00
Leni Aniva	e2ad6ce6b3	doc: Documentation for automatic mode	2024-09-06 21:32:02 -07:00
Leni Aniva	37473b3efb	feat: Automatic mode (auto resume)	2024-09-06 21:30:11 -07:00
Leni Aniva	82d99ccf9b	refactor: Use `MVarId` across the board	2024-09-06 21:07:12 -07:00