diff options
| author |  Matthew Dempsky <matthew@dempsky.org> | 2020-01-22 14:26:23 -0800 |
|---|---|---|
| committer | Matthew Dempsky <matthew@dempsky.org> | 2020-01-22 15:39:57 -0800 |
| commit | 15359c4e8e4546f789dfd316109aea6aa629e96e (patch) | |
| tree | 81a394047bc13e414577cea30a4bced9d49514b1 /doc | |
| parent | 16b6fdce0bab0699fcf16f41991976b386181dd1 (diff) | |
Consistently introduce application syntax before abstraction
Makes it slightly easier to recognize the symmetry between forms.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index fc59deec..2a3f21d6 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -486,8 +486,8 @@ $$\begin{array}{rrcll} &&& c \; c & \textrm{type-level function application} \\ &&& \lambda x \; :: \; \kappa \Rightarrow c & \textrm{type-level function abstraction} \\ \\ - &&& X \Longrightarrow c & \textrm{type-level kind-polymorphic function abstraction} \\ &&& c [\kappa] & \textrm{type-level kind-polymorphic function application} \\ + &&& X \Longrightarrow c & \textrm{type-level kind-polymorphic function abstraction} \\ \\ &&& () & \textrm{type-level unit} \\ &&& \#X & \textrm{field name} \\ @@ -574,8 +574,8 @@ $$\begin{array}{rrcll} \\ &&& \mt{case} \; e \; \mt{of} \; (p \Rightarrow e|)^+ & \textrm{pattern matching} \\ \\ - &&& \lambda [c \sim c] \Rightarrow e & \textrm{guarded expression abstraction} \\ &&& e \; ! & \textrm{guarded expression application} \\ + &&& \lambda [c \sim c] \Rightarrow e & \textrm{guarded expression abstraction} \\ \\ &&& \_ & \textrm{wildcard} \\ &&& (e) & \textrm{explicit precedence} \\ |