JLJesse Lin@conscientiousness·Oct 20c15f872typescripttype Greeting = "hello"; const hi: Greeting = "hello";05:20 · Oct 20, 2026 · commit c15f872QuoteTranslateReply