diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-22 19:04:51 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-22 19:04:51 +0900 |
| commit | e607a57dfafb784c4e27da143214afb2ccd07fbf (patch) | |
| tree | c7a393d2a2c8aad78f9dffedfe9f527efbb58131 /README.md | |
| parent | 3e0322c49c113a7e8590c79b39b839cbedab8805 (diff) | |
| download | inpla-e607a57dfafb784c4e27da143214afb2ccd07fbf.tar.gz inpla-e607a57dfafb784c4e27da143214afb2ccd07fbf.zip | |
Update README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -387,8 +387,8 @@ Let's clean the result in case it could be used anywhere:  ``` -add(ret, x) >< Z => ret~x; -add(ret, x) >< S(y) => add(ret, S(x))~y; + add(ret, x) >< Z => ret~x; + add(ret, x) >< S(y) => add(ret, S(x))~y; ``` The following is an execution example: ``` |