---

yaml
---
r: 229050
b: refs/heads/try
c: 4c48ffa
h: refs/heads/master
v: v3

Author: Gankra

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: aca2057ed5fb7af3f8905b2bc01f72fa001c35c8
 refs/heads/snap-stage3: 1af31d4974e33027a68126fa5a5a3c2c6491824f
-refs/heads/try: b539906de1d12dc935a1c3db9e511518dddabb3d
+refs/heads/try: 4c48ffa53e7b9aa008bed5ac92a8362c0574172e
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try/src/doc/tarpl/references.md

@@ -22,6 +22,10 @@ what *aliased* means. To define aliasing, we must define the notion of
 *paths* and *liveness*.
 
 
+**NOTE: The model that follows is generally agreed to be dubious and have
+issues. It's ok-ish as an intuitive model, but fails to capture the desired
+semantics. We leave this here to be able to use notions introduced here in later
+sections. This will be significantly changed in the future. TODO: do that.**
 
 
 # Paths