diff options
| author | Pierre Roux | 2020-09-03 13:29:00 +0200 |
|---|---|---|
| committer | Pierre Roux | 2020-09-11 22:23:24 +0200 |
| commit | ad7140a7127b147caf20d7c3803b918e3c6776f5 (patch) | |
| tree | b4c98d06350c274b46951470ab48aec11dbf35fa /kernel/vmlambda.ml | |
| parent | 6551f14196784e323688e682877229bc7f901659 (diff) | |
[numeral notation] Improve documentation
Following reviews from Jim Fehrle on #12218 and #12979
Diffstat (limited to 'kernel/vmlambda.ml')
0 files changed, 0 insertions, 0 deletions