#lang slideshow
(require racket/runtime-path
"main.rkt"
"extras.rkt"
slideshow/code)
(setup-local-latex-cache)
(latex-debug? #t)
(add-preamble #<<latex
\usepackage{amsmath, amssymb}
\newcommand{\targetlang}{\lambda_{\mathrm{ZFC}}}
\newcommand{\meaningof}[1]{[\![{#1}]\!]} % use in semantic functions
\newcommand{\A}{\mathcal{A}}
\renewcommand{\P}{\mathbb{P}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
latex
)
(define-runtime-path main-background-path
"images/plt-background1-main-1024x768.png")
(background-image (bitmap main-background-path))
(slide
(scale/improve-new-text (soft-dropshadow (bt "The Title Page")) 3)
(hrule)
(scale
(hbl-append (t "Discrete ") ($"\\P") (t "robability"))
2)
(scale/improve-new-text
(hbl-append (t "Discrete ") ($"\\P") (t "robability"))
2)
(hrule)
(scale/improve-new-text
(para #:align 'center "in" (outline ($"\\targetlang")))
3))
(define-runtime-path slides-background-path
"images/plt-background1-slides-1024x768.png")
(background-image (bitmap slides-background-path))
(slide-number 2)
(slide
#:title "Text styles"
(soft-dropshadow (para #:align 'center "Soft dropshadow (and in LaTeX too:" ($"d^2 = x^2 + y^2") ")"))
(dropshadow (para #:align 'center "Sharp dropshadow"))
(dropshadow (para #:align 'center
"Sharp" (code 2 2 #:color "blue" #:opacity 3/4) "dropshadow")
2 2 #:color "blue" #:opacity 3/4)
'alts
(list (list (para #:align 'center "Outlined Text is Teh Win"))
(list (outline (para #:align 'center "Outlined Text is Teh Win")
#:color "red")
(para #:align 'center "and is the same size as normal text"))))
(add1-slide-number)
(slide
#:title "Blocks, labels and references (1)"
(theorem "discrete stimulation" "All nonnegative integers are interesting.")
(proof "Suppose that some nonnegative integers are uninteresting. Because" ($"<") "well-orders" ($"\\Z^+") ", there exists a smallest uninteresting nonnegative integer. But that's pretty interesting.")
(item "By" (ref "discrete stimulation") "we see that any attempt to prove"
"that some nonnegative integers are mundane is doomed.")
(definition "interesting integers" ($"\\N") "is the set of interesting nonnegative integers.")
)
(background-image (cellophane (scale/improve-new-text ($$"\\int e^{-x^2}") 8)
1/8))
(add1-slide-number)
(slide
#:title "Blocks, labels and references (2)"
(item "This should be" ($"\\dfrac{1}{\\sqrt{2\\pi}}") ":")
(equation "Euler" (colorize ($$"\\int_{-\\infty}^\\infty e^{-x^2}\\,dx") "DarkRed"))
(item "By cunning application of" (ref "Euler") ", something non-obvious is true")
(item "This should be true:")
(equation "Pythag" (colorize ($$"A^2 + B^2 = C^2") "DarkGreen"))
(item "If" (ref "Pythag") "is not true, we have a crisis of triangular proportions"))
(tidy-latex-cache)