chore: Cleanup the library system #169

Merged
aniva merged 7 commits from chore/cleanup into dev 2025-03-08 21:19:01 -08:00
Owner
  • fix: Panic edge case for module name
  • chore: Delete most functions that are not used in the REPL. Delete the custom tactics
  • feat: Allow monad lifting in GoalState.withContext (#171)
  • chore: Move LSpec out of flake dependency
- fix: Panic edge case for module name - chore: Delete most functions that are not used in the REPL. Delete the custom tactics - feat: Allow monad lifting in `GoalState.withContext` (#171) - chore: Move `LSpec` out of flake dependency
aniva added the
category
chore
part/Goal
part/Environment
labels 2025-02-25 15:14:08 -08:00
aniva self-assigned this 2025-02-25 15:14:08 -08:00
aniva added 1 commit 2025-02-25 15:14:08 -08:00
aniva added this to the 0.3 milestone 2025-02-25 15:14:17 -08:00
aniva changed title from chore: Cleanup to chore: Cleanup the library system 2025-02-25 17:06:35 -08:00
aniva added a new dependency 2025-02-25 17:06:37 -08:00
aniva added 1 commit 2025-03-01 20:12:48 -08:00
aniva added a new dependency 2025-03-08 21:04:55 -08:00
aniva added 1 commit 2025-03-08 21:07:32 -08:00
aniva added 1 commit 2025-03-08 21:11:56 -08:00
aniva added 1 commit 2025-03-08 21:12:07 -08:00
aniva added 1 commit 2025-03-08 21:17:00 -08:00
aniva added 1 commit 2025-03-08 21:18:51 -08:00
aniva merged commit 4f5dd97e55 into dev 2025-03-08 21:19:01 -08:00
aniva deleted branch chore/cleanup 2025-03-08 21:19:01 -08:00
Sign in to join this conversation.
No reviewers
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Reference: aniva/Pantograph#169
No description provided.