summaryrefslogtreecommitdiffhomepage
path: root/pt-br/html-pt.html.markdown
diff options
context:
space:
mode:
authorNick Henderson <nick.henderson@gmail.com>2018-11-21 15:22:52 -0800
committerGitHub <noreply@github.com>2018-11-21 15:22:52 -0800
commit34b2ab3a8b8ab345193585fd686e2ddbf6d36169 (patch)
tree48662bfc3258aa0dbd55fdee69d0f0d82d91e1d9 /pt-br/html-pt.html.markdown
parentb93ea7add75f774fd7d1f2b450a3517ea924bff4 (diff)
propose correction for ADD
I think it should be: `ADD = λab.(a S)b`
Diffstat (limited to 'pt-br/html-pt.html.markdown')
0 files changed, 0 insertions, 0 deletions