From b6b2c298a1d86296bd51521720b1365683f98e34 Mon Sep 17 00:00:00 2001
From: Dom Horsman <dom.horsman@gmail.com>
Date: Tue, 12 Feb 2019 00:17:00 +0100
Subject: [PATCH] minor tweaks
---
NEWPROPOSAL/FULLPROP.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 34bc479..ccfa163 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1344,7 +1344,7 @@ In the first instance we make contact between \zx and standard circuit and measu
\WPleaderPOL
\WPeffort{0}{0}{0}{0}{0}{0}
\begin{WPaim}
-We build the theoretical foundations for \zx as an IR. This includes extending the capabilities of \zx to represent mixed states, qudit states, and control flows. We use \zx axiomatisations and automated theorem provers to extract out post-classical computing resources, which will be used both for further optimisation work, and for characterisation of quantum algorithmic speed-up.
+We build the theoretical foundations for \zx as an intermediate representation. This includes extending the capabilities of \zx to represent mixed states, qudit states, and control flows. We use \zx axiomatisations and automated theorem provers to extract out post-classical computing resources, which will be used both for further optimisation work, and for characterisation of quantum algorithmic speed-up.
\end{WPaim}
\begin{WPtasks}
\WPtask[\label{task:axioms}]{Beyond qubits and stabilisers
--
GitLab