diff options
| author | Sam Pablo Kuper | 2017-07-31 22:04:32 +0100 |
|---|---|---|
| committer | Sam Pablo Kuper | 2017-08-01 13:18:41 +0100 |
| commit | eee42a2403f5bdcf97139deb97f9cd0a7a434ddc (patch) | |
| tree | 9d39beb8cce108632e05a6a008adf685250006d4 /kernel/nativelambda.ml | |
| parent | 17f37f42792b3150fcebb6236b9896845957b89d (diff) | |
Fix typos. Improve wording.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions