diff options
| author | Tanaka Akira | 2019-02-08 17:32:58 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-02-08 17:32:58 +0900 |
| commit | ca4f889838291674a692f6c0fe8b45caa9d9c850 (patch) | |
| tree | 67576456b68aaa6998602d1b927d2bf5db4a4d3f /kernel/nativelambda.ml | |
| parent | 3062110eca5ea6f190d10b07716ee20b9bc2b6ad (diff) | |
Use math mode more.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions