Conversation
Notices
-
Embed this notice
∀α. ⊥ → α (untyped@insufferable.tools)'s status on Friday, 12-Jan-2024 06:24:21 JST ∀α. ⊥ → α @ashten and if that's not enough... - Mer's pizza Mer's world :blobcatgooglytrash: likes this.