notes: stuff on interaction and where-clauses I tweaked the notation for sheds to be {. .} in order to allow {? ?} and {! !} for query and response. I've written a little about the uses of query and response in the coauthor transducer model.
notes: stuff on interaction and where-clauses
I tweaked the notation for sheds to be {. .} in order to allow
{? ?} and {! !} for query and response. I've written a little
about the uses of query and response in the coauthor transducer
model.

I've added a bit about where-clauses, for helper-functions and
lemmas. None of this is terribly precise yet, and the notation
is very much up for grabs.


larrytheliquid/pigit,mietek/epigram2,mietek/epigram2