Skip to content

Add dict presentation#21

Merged
jl-wynen merged 1 commit intomainfrom
dict-intro
Jan 21, 2026
Merged

Add dict presentation#21
jl-wynen merged 1 commit intomainfrom
dict-intro

Conversation

@jl-wynen
Copy link

I kept the text minimal so this can hopefully act as a cheat sheet. Does it cover all use cases in the school?

@jl-wynen jl-wynen requested a review from nvaytet January 20, 2026 16:13
Copy link
Member

@nvaytet nvaytet left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

@jl-wynen jl-wynen merged commit 5a42ad1 into main Jan 21, 2026
3 checks passed
@jl-wynen jl-wynen deleted the dict-intro branch January 21, 2026 11:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants