[fix] Spec formatting (#312)

* [fix] Spec formatting * [doc] Remove extra lines about linearity
CQCL · Jul 28, 2023 · dc6da1a · dc6da1a
1 parent 2fd5b33
commit dc6da1a
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/specification/hugr.md b/specification/hugr.md
@@ -1063,9 +1063,6 @@ must have exactly one edge leaving them unless they are `ClassicType`, where
 outgoing ports may have any number of connected edges (0 is equivalent
 to a discard). All incoming ports must have exactly one edge connected to them.
 
-# Our linear types behave like other values passed down a wire.
-# Quantum gates behave just like other nodes on the graph with
-# inputs and outputs, but there is only one edge leaving (or entering) each port.
 In fully qubit-counted contexts programs take in a number of qubits
 as input and return the same number, with no discarding. See
 [quantum resource](#quantum-resource) for more.