jeetu7

For an example source idr file, pygments can generate prettly decent colorful html. The colors and lexer itself is customizable. Check the rarw code of gists [input idr file](https://gist.githubusercontent.com/jeetu7/619f68c637d0d6dff972352774491a79/raw/abcd216f570b97ad58fbfd10b513078ea3454982/example.idr)and [output...

For linking, we have to customize (extend) the html formatter for idris1 in pygments. And also, to make it support idris2, we might have to extend the pygment's lexer as...

@jfdm @gallais I will look into them. I might be little slow as I am learning Idris along the way. 1. Also any pointers, at **which point I can get...

First of all thanks for the pythonic library to interface with pylon cameras. The support for YUV422Packed and YUV422(YUYV)Packed is highly required by many. I am not so conversed in...