Commit 22e601a3 authored by POTTIER Francois's avatar POTTIER Francois

Skeleton of documentation.

parent caddacb0
# TeX.
main.pdf
talk.pdf
*.aux
*.aux.bak
*.bbl
*.blg
*.log
*.out
*.nav
*.snm
*.toc
*.vrb
# WhizzyTeX.
._whizzy*
_whizzy*
*.raux
*.wdvi
*.dvi
*.waux
*.fmt
# latexmk
*.fdb_latexmk
*.fls
# Misc.
*.processed.ml
include ../src/Makefile.preprocess
export TEXINPUTS=.:./code:
.PHONY: all clean
all: main.pdf
SOURCES := $(wildcard *.tex) $(wildcard *.bib) $(wildcard *.sty)
ML := $(wildcard code/*.ml)
PROCESSED := $(patsubst %.ml,%.processed.ml,$(ML))
%.pdf: %.tex $(SOURCES) $(ML) $(PROCESSED)
pdflatex $*
pdflatex $*
clean:
rm -f *.log *.aux *.bbl *.blg *.out *.toc *~ main.pdf
type expr =
| EConst of int
| EAdd of expr * expr
| EMul of expr * expr
[@@deriving visitors { name = "iter"; variety = "iter" }]
% Configuring listings for OCaml.
% Comments in blue.
\newcommand{\ocamlcommentstyle}{\mycolor{blue}\itshape}
\lstdefinelanguage{ocaml}[Objective]{Caml}{
% Fix errors in the default definition of ocaml.
deletekeywords={closed,ref},
% General settings.
flexiblecolumns=false,
showstringspaces=false,
framesep=5pt,
commentstyle=\ocamlcommentstyle,
% By default, we use a small font.
basicstyle=\tt\small,
numberstyle=\footnotesize,
% LaTeX escape.
escapeinside={$}{$},
}
% An abbreviation for \lstinline, with a normal font size.
% To be used in the text of the paper.
\def\oc{\lstinline[language=ocaml,basicstyle=\tt,flexiblecolumns=true]}
\documentclass[onecolumn,11pt,nocopyrightspace]{sigplanconf}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{listings}
\input{listings-ocaml}
\lstset{language=ocaml}
\usepackage[bookmarks=true,bookmarksopen=true,colorlinks=true,linkcolor=blue,citecolor=blue,urlcolor=blue]{hyperref}
\usepackage{xspace}
% ------------------------------------------------------------------------------
% Headings.
\title{Visitors}
\begin{document}
\authorinfo{François Pottier}
{Inria Paris}
{francois.pottier@inria.fr}
\maketitle
% ------------------------------------------------------------------------------
\clearpage
\tableofcontents
\clearpage
% ------------------------------------------------------------------------------
Original:
\lstinputlisting{expr.ml}
Processed:
\lstinputlisting{expr.processed.ml}
\end{document}
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment