← Back to context

Comment by zmgsabst

2 years ago

And yet, there are times to use the other theories:

Eg, type theory has more succinct proofs of unique inverses.

0 comments

zmgsabst

Reply

No comments yet

Contribute on Hacker News ↗