-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
37 lines (25 loc) · 1.51 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
<head>
<meta name="google-site-verification" content="MbX-fY5G2TP3JAAN_BIFcxo5hru2qvvwHCwruJ4MdZ0" />
<meta name="description" content="lambdaQ: a functional quantum programming language">
<meta name="keywords" content="lambdaQ, quantum programming, functional quantum programming language">
</head>
<br/>
<br/>
<a href="https://github.com/radumarg/lambdaQ" style="font-size: 42px; text-decoration: none; margin-left: 30px;">lambdaQ </a>
<br/>
<br/>
<br/>
<p style="font-size: 26px; max-width: 1450px; margin-left: 30px;">
A functional quantum programming language whose starting point is the quantum lambda calculus created by Peter Selinger
and Benoit Valiron: <a href="https://arxiv.org/abs/cs/0404056">A lambda calculus for quantum computation with classical control</a>.
<br/>
<br/>
Rather than being another theoretical language designed for the study of the mathematics of quantum programming,
lambdaQ is meant to be a practical language that will be eventually compiled to OpenQASM3 and later to
LLVM Quantum Intermediate Representation (QIR) in order to be executed on real quantum devices. This is an ongoing project,
very much in the early stages of implementation. More details regarding the plans that are currently being made for development,
can be found here: <a href="https://github.com/radumarg/lambdaQ/blob/main/doc/development-plan.md">development-plan.md </a>.
<br/>
<br/>
You can find the GitHub project here: <a href="https://github.com/radumarg/lambdaQ">https://github.com/radumarg/lambdaQ</a>.
</p>