diff options
| author | Robert Rand | 2019-05-07 12:44:09 -0400 |
|---|---|---|
| committer | GitHub | 2019-05-07 12:44:09 -0400 |
| commit | f958d281ab57acfb37e69bbe92ed603d87962ce6 (patch) | |
| tree | 7f3723115dbbc2b14861d1d88c9766c5ed1a3815 /kernel/nativelambda.ml | |
| parent | e30d52a3c724a71bf43b46416c09e4b6ef1d1f67 (diff) | |
Added description of Q
Note that this description is identical to that of R. R should maybe start with the word "Recursively"?
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions