From @joaopizani on March 28, 2015 12:36
The current implementation of a Monoid solver in Agda's standard library does not work for indexed types. Let's adapt it in the same way in which we adapted Relation.Binary.Indexed, etc.
Copied from original issue: joaopizani/piware#30
From @joaopizani on March 28, 2015 12:36
The current implementation of a Monoid solver in Agda's standard library does not work for indexed types. Let's adapt it in the same way in which we adapted
Relation.Binary.Indexed, etc.Copied from original issue: joaopizani/piware#30