Integrate "compositional congruence" of circuits
Created by: joaopizani
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