Fix typos

This commit is contained in:
Olivier 2020-08-19 11:12:09 +02:00
parent a18b7835b7
commit 3f673ac985
1 changed files with 2 additions and 2 deletions

View File

@ -26,7 +26,7 @@
(turn direct outputs into modal inputs)
\item This applies to any applicative functors with "quantifiers with outputs"
\lstinline{('i -> 'c t) -> ('o * 'c t)}
\lstinline{('i -> 'c t) -> ('o * 'c) t}
\end{itemize}
\end{frame}
@ -70,7 +70,7 @@ let<op1> p1 = e1 and<op2> p2 = e2 in body
val exist : (Infer.variable -> 'a co) -> (F.ty * 'a) co
val (---) : Infer.variable -> Infer.ty -> unit co
val (let@) : ('a -> 'c co) -> 'c co)
val (let@) : (('a -> 'c co) -> 'c co)
-> ('a -> 'c co) -> 'c co
val (let+) : 'a co -> ('a -> 'b) -> 'b co
val (and+) : 'a co -> 'b co -> ('a * 'b) co