diff options
| author | Tanaka Akira | 2019-01-31 16:55:52 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-01-31 16:55:52 +0900 |
| commit | 4af6783b8401e8165e3246be7c5460583788fe50 (patch) | |
| tree | e6d139caf5d0eed3843b8d5718e979d4390e0372 /kernel/nativecode.ml | |
| parent | 757084431407d90ee454c06a9e05a978ba4f8663 (diff) | |
Adjust spaces.
This commit basically ajusts spaces as
- ∀x:T,t to ∀x:T,~t
- λx:T.t to λx:T.~t
- E;c:T to E;~c:T
x and T are more related than T and t.
So, T and t should not positioned closely than x and T.
Unfortunately, they are formatted that T and t are positioned closely
without "~".
(Similary, c and T are more related than E and c.)
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions