[<<][meta_siso][>>][..]
Mon Aug 17 17:43:47 EDT 2015

r (Sig m t) ?

That would be it.

Sig m (r t) -> r (Sig m t)

Hmm...




[Reply][About]
[<<][meta_siso][>>][..]