#+STARTUP: beamer
#+OPTIONS: toc:nil
#+PROPERTY: header-args :noweb strip-export :shebang "#lang plait" :tangle-mode (identity #o644)
#+LATEX_HEADER: \usepackage{listings}

* A frame
#+BEGIN_SRC scheme :tangle tangled.rkt
; there is a blank line after this comment
<<include/animal-type.rkt>>
(Snake? (Snake 'Slimey 10 'rats)) ; => #t
(Snake? (Tiger 'Tony 12)) ; => #t
#+END_SRC

#+NAME: include/animal-type.rkt
#+BEGIN_SRC scheme :export none
(define-type Animal
  [Snake   (name : Symbol) (weight : Number) (food : Symbol)]
  [Tiger   (name : Symbol) (weight : Number)])

#+END_SRC