Conversation
Notices
-
Embed this notice
∀α. ⊥ → α (untyped@insufferable.tools)'s status on Saturday, 13-Jan-2024 06:14:09 JST ∀α. ⊥ → α @FawnOverFun @eris it can be whacking someone with a wrench or calling them a tool, or both. - eris likes this.