Identity type
In type theory, a branch of mathematics, the identity type represents the concept of equality. It is also known as propositional equality to differentiate it from "judgemental equality".
In type theory, a branch of mathematics, the identity type represents the concept of equality. It is also known as propositional equality to differentiate it from "judgemental equality".
In type theory, a branch of mathematics, the identity type represents the concept of equality. It is also known as propositional equality to differentiate it from "judgemental equality".
Source: Wikipedia "Identity type" · CC BY-SA 4.0
Share this article: X · Bluesky