question
active
question:why-do-laws-matter

Why do laws matter?

Question about the role of algebraic laws in modular reasoning.

Source paper

extracted_from
Denotational design with type class morphisms (extended version)
(2015) · Elliott, Conal

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.