summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Matthew Dempsky <matthew@dempsky.org>2020-01-22 14:26:23 -0800
committerGravatar Matthew Dempsky <matthew@dempsky.org>2020-01-22 15:39:57 -0800
commit15359c4e8e4546f789dfd316109aea6aa629e96e (patch)
tree81a394047bc13e414577cea30a4bced9d49514b1
parent16b6fdce0bab0699fcf16f41991976b386181dd1 (diff)
Consistently introduce application syntax before abstraction
Makes it slightly easier to recognize the symmetry between forms.
-rw-r--r--doc/manual.tex4
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} \\