Support for equality constraints - #455

Open

zeroeightysix wants to merge 6 commits into

agda:masterfrom

zeroeightysix:feat/instance-equality-constraint

Commits on Mar 6, 2026

Equality constraints
zeroeightysix
committed
662ab31
Un-shadow isEqualityType and simplify compileEqualityConstraint
zeroeightysix
committed
728c4c7
Require equality constraints to be not marked erased
zeroeightysix
committed
6fbc63e
Move test for equality constraint to Success directory
zeroeightysix
committed
1ef0174
Remove debugging log and unecessary tellExtension
zeroeightysix
committed
7c03af7
Remove leftover test .hs file
zeroeightysix
committed
b4cc12a