Read news on directed equality with our app.
Read more in the app
A Generalized Algebraic Theory of Directed Equality
