diff options
| author | Tanaka Akira | 2019-01-31 19:34:22 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-01-31 19:34:22 +0900 |
| commit | b6b0c17892e152170d12bdaea0b4026714afc58b (patch) | |
| tree | 44f178c4dca952d54b5d948b7e15bc39f4365d0f /kernel/nativecode.ml | |
| parent | 6f53aca07665c45af6c1713869f5434208607188 (diff) | |
Use λ instead of \lb.
The former is more succinct and intuitive.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions