diff options
| author | Evert Heylen <evertheylen@gmail.com> | 2018-02-28 12:41:09 +0100 |
|---|---|---|
| committer | Pratik Karki <predatoramigo@gmail.com> | 2018-02-28 17:26:09 +0545 |
| commit | eefc0a9c92f44655fd177920c9f1d40816afa119 (patch) | |
| tree | 42bc56b61e941c09942b73e842c192e4e7b78044 /zh-cn/tmux-cn.html.markdown | |
| parent | 7d303e504235a68eca63ebb914872cdfea9469b6 (diff) | |
[prolog/en] Corrected statement about unifying two free terms (#3033)
* Corrected statement about unifying two free terms
While the intricacies of unification would bring us too far, stating that assigning two free 'sides' is wrong. I tried to give a small description about how this works (without going into the details of occurrence checks or unification of more complex structures).
* Fixed indentation
* Replaced old style of structured comments
Diffstat (limited to 'zh-cn/tmux-cn.html.markdown')
0 files changed, 0 insertions, 0 deletions