chore: Cleanup the library system #169

Merged

aniva merged 7 commits from chore/cleanup into dev

2025-03-08 21:19:01 -08:00

Author	SHA1	Message	Date
Leni Aniva	7ae50696ac	merge: branch 'dev' into chore/cleanup	2025-03-08 21:18:45 -08:00
Leni Aniva	9cf071eefe	chore: Read manifest for LSpec version	2025-03-08 21:16:47 -08:00
Leni Aniva	92515ea0f2	fix: Update flake lock	2025-03-08 21:11:59 -08:00
Leni Aniva	5a690c4421	chore: Use `fetchGit` for `LSpec` input	2025-03-08 21:11:34 -08:00
Leni Aniva	39ec79e6bb	feat: Monad lifting in `GoalState.withContext`	2025-03-08 21:07:15 -08:00
Leni Aniva	999bb146fa	chore: Remove all unused auxiliary tactics	2025-03-01 20:12:30 -08:00
Leni Aniva	76639d0266	fix: Panic edge case for module name	2025-02-24 15:45:31 -08:00