André Pedro

Hi all, UVC devices are available if v4l2 is part of the kernel. v4l2 is not compiled by default for several devices such as samsung galaxy s6.

> I have UTV007 model easycap device. I tested it with EasyCap Viewer on play store and it worked. Easycap viewer contains a proper driver for utv007. It directly interfaces...

Regarding the question "should statements also be printable ?" I would say, Yes. > what to do when the term uses features not available in the output languages (higher-order terms...

@Gbury I will start with the pretty-printers. Do you want to provide some skeleton?