Update README.md

Author: radumarg

README.md

@@ -29,11 +29,11 @@ In the future, with the introduction of error-corrected quantum computers, there
 - the denotational semantics of a quantum programming language can be used to ensure that a program written in this language is compatible with quantum physics. This is a complicated mathematical problem, and we will ignore it further on.
 
 ### A basic example of a higher-level quantum program:
-- take some given algebraic function and implement it as a boolean circuit.
-- translate the boolean circuit to an oracle implemented as a reversible quantum circuit.
-- apply the Grover search algorithm to the output of this oracle.
-- copy the result to a scratch register. Copying is possible as long as the function implemented by the oracle is classical.
-- uncompute in order to free the ancilla qubits needed to implement the oracle for further reuse.
+(step 1) take some given algebraic function and implement it as a boolean circuit.
+(step 2) translate the boolean circuit to an oracle implemented as a reversible quantum circuit.
+(step 3) apply the Grover search algorithm to the output of this oracle.
+(step 4) copy the result to a scratch register. Copying is possible as long as the function implemented by the oracle is classical.
+(step 5) uncompute in order to free the ancilla qubits needed to implement the oracle for further reuse.
 
 ### What kind of operations can be executed by a quantum computer?
 - initialize quantum and classical registers.