Clean up code #163

New Issue

aniva · 2025-01-23T09:39:36-08:00

aniva commented

2025-01-23 09:39:36 -08:00

Use repeat in the main loop instead of tailrec: https://lean-lang.org/functional_programming_in_lean/monad-transformers/conveniences.html
Clean up unused variable warnings

- Use `repeat` in the main loop instead of tailrec: https://lean-lang.org/functional_programming_in_lean/monad-transformers/conveniences.html - Clean up unused variable warnings

aniva added the

labels 2025-01-23 09:39:36 -08:00

aniva self-assigned this 2025-01-23 09:39:36 -08:00

aniva added this to the 0.2.25 milestone 2025-01-24 19:00:27 -08:00

aniva added

and removed

labels 2025-01-24 19:13:07 -08:00

aniva added a new dependency 2025-01-26 22:04:46 -08:00

#164 chore: Code cleanup

aniva commented

2025-01-26 22:04:51 -08:00

Done #164

aniva closed this issue

2025-01-26 22:04:51 -08:00

Sign in to join this conversation.

No Label

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.

Depends on

#164 chore: Code cleanup

aniva/Pantograph

Reference: aniva/Pantograph#163