2018-11-15 | Ralf Jung | say immutable instead of read-only | blob | commitdiff | raw |
2018-11-14 | Ralf Jung | feedback from Niko | blob | commitdiff | raw | diff to current |
2018-11-13 | Ralf Jung | more disucssion of retag redundancy check | blob | commitdiff | raw | diff to current |
2018-11-13 | Ralf Jung | adapt to new redundant-reborrow rule | blob | commitdiff | raw | diff to current |
2018-11-13 | Ralf Jung | recursive descend will come later | blob | commitdiff | raw | diff to current |
2018-11-13 | Ralf Jung | intra-document links | blob | commitdiff | raw | diff to current |
2018-11-13 | Ralf Jung | Show first example in annotated form early | blob | commitdiff | raw | diff to current |
2018-11-12 | Ralf Jung | First draft of stacked borows impl post | blob | commitdiff | raw | diff to current |