diff options
| author | Brujo Benavides <[email protected]> | 2016-07-12 14:27:13 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2016-07-12 14:27:13 +0200 |
| commit | 66cc419fd993204a66cf57a674a2c62bbd14d9fe (patch) | |
| tree | 6c019dc549c1c27334c8b001588706de56f470dc /plt | |
| parent | 761e4679cd3963f09e6d1623734aa2c6e28d788a (diff) | |
| download | otp-66cc419fd993204a66cf57a674a2c62bbd14d9fe.tar.gz otp-66cc419fd993204a66cf57a674a2c62bbd14d9fe.tar.bz2 otp-66cc419fd993204a66cf57a674a2c62bbd14d9fe.zip | |
Add clarification on LC semantics (#1)
It addresses the special case of generator-less LCs.
As a bonus, I fixed a typo :)
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions