Skip to content
Browse files

Minor fixes.

  • Loading branch information...
1 parent 20269de commit 0e80b1038d28586c6ba82dc52cbf047e9d5c48a2 Sebastiaan Visser committed Feb 7, 2010
Showing with 18 additions and 13 deletions.
  1. +2 −0 presentation/BoolLike.lhs
  2. +3 −1 presentation/Conclusion.lhs
  3. +9 −9 presentation/RealExpr.lhs
  4. +3 −2 presentation/Value.lhs
  5. +1 −1 presentation/code.fmt
View
2 presentation/BoolLike.lhs
@@ -108,6 +108,7 @@
%if style /= newcode
+\textcolor{cmnt}{
\begin{verbatim}
ghci> :t not
@@ -120,6 +121,7 @@ ghci> not ConTrue
If ConTrue ConFalse ConTrue
\end{verbatim}
+}
%endif
View
4 presentation/Conclusion.lhs
@@ -55,6 +55,8 @@
\begin{itemize}
+\item Syntactic front-end.
+
\begin{item}
Additional computational contexts:
\begin{itemize}
@@ -65,7 +67,7 @@
\end{itemize}
\end{item}
-\item Syntactic front-end.
+\item Generic derivation of instances.
\end{itemize}
View
18 presentation/RealExpr.lhs
@@ -101,7 +101,7 @@
> class BoolC j where
> false :: j Bool
> true :: j Bool
-> bool :: j r -> j r -> j BoolD -> j r
+> bool :: j r -> j r -> j Bool -> j r
}
\only<2>{
@@ -112,7 +112,7 @@
> class BoolC j where
> false :: j Bool
> true :: j Bool
-> bool :: j r -> j r -> j BoolD -> j r
+> bool :: j r -> j r -> j Bool -> j r
> data Maybe a
>
@@ -126,7 +126,7 @@
> class BoolC j where
> false :: j Bool
> true :: j Bool
-> bool :: j r -> j r -> j BoolD -> j r
+> bool :: j r -> j r -> j Bool -> j r
> data Maybe a
>
@@ -142,7 +142,7 @@
> class BoolC j where
> false :: j Bool
> true :: j Bool
-> bool :: j r -> j r -> j BoolD -> j r
+> bool :: j r -> j r -> j Bool -> j r
> data Maybe a
>
@@ -159,7 +159,7 @@
> class BoolC j where
> false :: j Bool
> true :: j Bool
-> bool :: j r -> j r -> j BoolD -> j r
+> bool :: j r -> j r -> j Bool -> j r
> data Maybe a
>
@@ -177,7 +177,7 @@
> class BoolC j where
> false :: j Bool
> true :: j Bool
-> bool :: j r -> j r -> j BoolD -> j r
+> bool :: j r -> j r -> j Bool -> j r
> data Maybe a
>
@@ -197,7 +197,7 @@
> class BoolC j where
> false :: j Bool
> true :: j Bool
-> bool :: j r -> j r -> j BoolD -> j r
+> bool :: j r -> j r -> j Bool -> j r
> data Maybe a
>
@@ -218,7 +218,7 @@
> class BoolC j where
> false :: j Bool
> true :: j Bool
-> bool :: j r -> j r -> j BoolD -> j r
+> bool :: j r -> j r -> j Bool -> j r
> data Maybe a
>
@@ -240,7 +240,7 @@
> class BoolC j where
> false :: j Bool
> true :: j Bool
-> bool :: j r -> j r -> j BoolD -> j r
+> bool :: j r -> j r -> j Bool -> j r
> data Maybe a
>
View
5 presentation/Value.lhs
@@ -74,6 +74,8 @@
> type Code = String
> compiler :: JavaScript a -> Code
+
+\pause
> compiler = runKleisli
> $ ( Lambdas.instantiate :: JavaScript a :-> Expression )
> . ( Defs.lift :: Expression :-> Definitions )
@@ -90,8 +92,7 @@
\begin{frame}
-> test :: (NumC j, ListC j, Eq j Num, BoolC j, FunC j, MaybeC j)
-> => j (Num -> Num)
+> test :: Haskell (Num -> Num)
> test = lam (\x -> sum (replicate 3 (2 * 8) ++ replicate 3 8)
> * maybe 4 (*8) (just (x - 2)))
View
2 presentation/code.fmt
@@ -18,7 +18,7 @@
%format not = "not"
%format WhiteSpace = "\;"
-\definecolor{cmnt}{rgb}{0.30,0.80,0.30}
+\definecolor{cmnt}{rgb}{0.30,1.00,0.30}
%subst comment a = "\textcolor{cmnt}{\text{\tt-- " a "}}"
\definecolor{strlit}{rgb}{1.00,0.40,0.20}

0 comments on commit 0e80b10

Please sign in to comment.
Something went wrong with that request. Please try again.