Skip to content

Simplify custom types for punning, use better names#128

Merged
MichaelChirico merged 1 commit intomainfrom type-pun-namingDec 30, 2024

Commits

Commits on Dec 30, 2024