diff options
| author | Zeimer | 2018-07-27 16:21:37 +0200 |
|---|---|---|
| committer | Zeimer | 2018-08-01 14:26:54 +0200 |
| commit | fcf7bd199413b40b899c951952e1d79757f1f08d (patch) | |
| tree | bff05a81f9379326d28cdc50adb8d7b0b9e4c145 /kernel/nativelambda.mli | |
| parent | 941b25c8617d88bdf128379f98f443cc46d6ffcc (diff) | |
Improved grammar and spelling in chapters 'Type Classes', 'Omega' and 'Micromega' of the Reference Manual.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions