[Resource] Silq

Silq is a high-level quantum programming language:

https://silq.ethz.ch/

This should serve as inspiration for

 - interoperability: parse or emit silq code
 - features: automatic uncomputation?
 - examples: they have a nice library of examples. We should be able to express these programs as well