[<<][meta_siso][>>][..]
Fri Aug 7 00:03:32 EDT 2015

Seq?

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

   looks like

[m t] -> m [t]




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