Indeed, identities are not a desirable solution. That's why https://github.com/AdamISZ/aut-ct exists for example. Of course there are other approaches, many of them pretty well tested by now, all have tradeoffs.
Indeed, identities are not a desirable solution. That's why https://github.com/AdamISZ/aut-ct exists for example. Of course there are other approaches, many of them pretty well tested by now, all have tradeoffs.
No replies yet.