Lattice edits #22

Merged
Mark merged 1 commits from lattice into main 2025-04-04 08:36:33 -07:00
Owner
No description provided.
Mark added 1 commit 2025-04-03 19:32:47 -07:00
Lattice edits
All checks were successful
CI / Typst formatting (pull_request) Successful in 4s
CI / Typos (pull_request) Successful in 13s
CI / Build (pull_request) Successful in 5m26s
50c4d142c5
Mark merged commit 99344f9aed into main 2025-04-04 08:36:33 -07:00
Mark deleted branch lattice 2025-04-04 08:36:33 -07:00
Mark referenced this issue from a commit 2025-04-04 08:36:34 -07:00
Sign in to join this conversation.
No Reviewers
No Label
No Milestone
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Mark/handouts#22
No description provided.