Talha Qamar

@1024moons.bsky.social

13 Followers 54 Following

Electrical engineering student. Also a programmer. Those are my two things. If you think you recognize me; no you don't. https://1024moons.github.io

In contrast, in intensional type theory type checking is decidable, but the representation of standard mathematical concepts is somewhat more cumbersome, since

At a Phonesmart store, each phone sold is twice as likely to be an Apricot as a Banana. Also each phone sale is independent of any other phone sale. If you monitor the sale of two phones, what is the probability that the two phones sold are the same?