#! /bin/bash

set -e

agda --latex Bounded.lagda
cd latex
pdflatex Bounded.tex
cd ../
