From @joaopizani on March 28, 2015 18:21
In Yorick's fork of Π-Ware (https://github.com/yoricksijsling/piware-agda), there is a definition of "congruence" for the behavioural equality relation we defined over circuits (_≋_). We need to integrate and improve on that.
Copied from original issue: joaopizani/piware#32
From @joaopizani on March 28, 2015 18:21
In Yorick's fork of Π-Ware (https://github.com/yoricksijsling/piware-agda), there is a definition of "congruence" for the behavioural equality relation we defined over circuits (
_≋_). We need to integrate and improve on that.Copied from original issue: joaopizani/piware#32