astrieanna/TypeCheck.jl — pull request #3 by danluu (2014-02-20 03:37:23+00:00)
Title: Use xelatex to generate pdf

Here you go :-).