• aberba (5/5) Jul 16 2020 Came across this whilst scouting.
• Steven Schveighoffer (5/10) Jul 16 2020 Nice!

aberba <karabutaworld gmail.com> writes:

Came across this whilst scouting.

Silq is a new high-level programming language for quantum 
computing with a strong static type system, developed at ETH 
Zürich.
https://silq.ethz.ch/

Steven Schveighoffer <schveiguy gmail.com> writes:

On 7/16/20 6:58 AM, aberba wrote:
 Came across this whilst scouting.
 
 Silq is a new high-level programming language for quantum computing with 
 a strong static type system, developed at ETH Zürich.
 https://silq.ethz.ch/

Nice!

One of the authors looks familiar ;)

https://www.sri.inf.ethz.ch/people/timon

-Steve