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 | |
| parent | 6f53aca07665c45af6c1713869f5434208607188 (diff) | |
Use λ instead of \lb.
The former is more succinct and intuitive.
| -rw-r--r-- | doc/sphinx/language/cic.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/language/cic.rst b/doc/sphinx/language/cic.rst index 6ea3bcef23..67683902cd 100644 --- a/doc/sphinx/language/cic.rst +++ b/doc/sphinx/language/cic.rst @@ -353,7 +353,7 @@ following rules. \WTEG{∀ x:T,~U}{s} \WTE{\Gamma::(x:T)}{t}{U} ------------------------------------ - \WTEG{\lb x:T\mto t}{∀ x:T,~U} + \WTEG{λ x:T\mto t}{∀ x:T,~U} .. inference:: App |