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 /tcsh.html.markdown | |
parent | b93ea7add75f774fd7d1f2b450a3517ea924bff4 (diff) |
propose correction for ADD
I think it should be: `ADD = λab.(a S)b`
Diffstat (limited to 'tcsh.html.markdown')
0 files changed, 0 insertions, 0 deletions