tree 4903bccbd156bfca627f6c5b70d16b667b99122d
parent 3e1091898fbb00dadf07151d86af1ab40fba6755
author Marcel van Lohuizen <mpvl@golang.org> 1620220485 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1620220889 +0000

doc/ref/spec.md: remove "dead code"

This removed section is outdated and incorrect.
The relevant matter is discussed in the sections below.

Fixes #939

Change-Id: Id8bff5b790132177c95617621e87cfc613c28590
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9701
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>