From @joaopizani on March 28, 2015 18:29
For each circuit connection pattern there should be an "obvious" proof combinator that follows immediately from the definition of circuit simulation over vectors.
For example, a bunch of circuits combined in parallel has the same effect as a sort of concatMap (although with several functions instead of only one).
I don't expect these basic proof combinators to be very useful, but again, they are the basic ones, and we should get some inspiration from them to go further...
Copied from original issue: joaopizani/piware#37
From @joaopizani on March 28, 2015 18:29
For each circuit connection pattern there should be an "obvious" proof combinator that follows immediately from the definition of circuit simulation over vectors.
For example, a bunch of circuits combined in parallel has the same effect as a sort of
concatMap(although with several functions instead of only one).I don't expect these basic proof combinators to be very useful, but again, they are the basic ones, and we should get some inspiration from them to go further...
Copied from original issue: joaopizani/piware#37