diff options
| author | Nick Henderson <nick.henderson@gmail.com> | 2018-11-21 15:22:52 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-21 15:22:52 -0800 |
| commit | 34b2ab3a8b8ab345193585fd686e2ddbf6d36169 (patch) | |
| tree | 48662bfc3258aa0dbd55fdee69d0f0d82d91e1d9 /python.html.markdown | |
| parent | b93ea7add75f774fd7d1f2b450a3517ea924bff4 (diff) | |
propose correction for ADD
I think it should be: `ADD = λab.(a S)b`
Diffstat (limited to 'python.html.markdown')
0 files changed, 0 insertions, 0 deletions