asdf3-els2014.scrbl

#lang racket
;; This is the main file to compile for the short (8 pages) version
;; of the article, as submitted to ELS 2014.
(require "utils.rkt" "short.rkt")
(require "asdf3-2014.scrbl")
(provide doc)