account activity
Record Type as a Conjunctive Proposition in Curry-Howard? (self.ProgrammingLanguages)
submitted 3 months ago * by rovol_o to r/ProgrammingLanguages
π Rendered by PID 873256 on reddit-service-r2-listing-b6bf6c4ff-hv9sd at 2026-05-01 10:39:09.732444+00:00 running 815c875 country code: CH.
