diff options
| author | Vincent Laporte | 2019-10-23 10:03:35 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-31 14:10:57 +0000 |
| commit | 7077567102a93a6ecdcf014b8d116b78c7872a07 (patch) | |
| tree | c814f3853a878843492b79440765ea99e4a3243e /kernel/nativelambda.mli | |
| parent | 576dec25b30b0d1cceb7afa7768f86db7b7dbd25 (diff) | |
Zwf: use “lia” rather than “omega”
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions