Reposted by andrew blinn
> This constituent dreamed of sunlight and trees. Of fire and water. It dreamed it created a small business. And it dreamed it destroyed a password. It dreamed it hunted a job, and was hunted by a recertification. It dreamed of shelter that would take a voucher.
!["Does e have type t?"
\rightsquigarrow_{Claude}
Looks good bro
----------------[T-Claude]
Gamma \vdash e : t](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:i32jjsch6xqcguzsf2lgbfyu/bafkreidf3ap2hdnwbxpqmxkxmh43ofxhkvyuyykpkw2mhqhh34qgzqbhcm)
